diff options
author | Karl Berry <karl@freefriends.org> | 2015-02-03 23:39:18 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2015-02-03 23:39:18 +0000 |
commit | 5186e33c6d218e9003f3da20bedfa840c1765d27 (patch) | |
tree | fccf82dae9fd18882993ef75df511c43809c08c5 /Master/texmf-dist/doc/latex/ebproof/README | |
parent | ee0e64e16ff5d81050d780da9298fecd9eeae3b8 (diff) |
ebproof (3feb15)
git-svn-id: svn://tug.org/texlive/trunk@36202 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/ebproof/README')
-rw-r--r-- | Master/texmf-dist/doc/latex/ebproof/README | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/ebproof/README b/Master/texmf-dist/doc/latex/ebproof/README new file mode 100644 index 00000000000..a64bac6f41f --- /dev/null +++ b/Master/texmf-dist/doc/latex/ebproof/README @@ -0,0 +1,16 @@ +The ebproofs package provides commands to typeset proof trees, in the style of +sequent calculus and related systems. The commands allow for writing +inferences with any number of premisses and alignment of successive formulas +on an arbitrary point. Various options allow complete control over spacing, +styles of inference rules, placement of labels, etc. + +The distribution includes the following files: + + - ebproof.sty : the package + - ebproof.pdf : the documentation + - ebproof.tex : the LaTeX source for the documentation + +The package requires pgfkeys (from TikZ/PGF) for the option system. + +This package is written by Emmanuel Beffara <manu@beffara.org> +It is subject to the LaTeX Project Public License. |