diff options
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. |