diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/ebproof/README')
-rw-r--r-- | Master/texmf-dist/doc/latex/ebproof/README | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/Master/texmf-dist/doc/latex/ebproof/README b/Master/texmf-dist/doc/latex/ebproof/README deleted file mode 100644 index e3893221e98..00000000000 --- a/Master/texmf-dist/doc/latex/ebproof/README +++ /dev/null @@ -1,34 +0,0 @@ -== Presentation == - -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. - - -== License == - -Copyright 2015 Emmanuel Beffara <manu@beffara.org> - -This work may be distributed and/or modified under the -conditions of the LaTeX Project Public License, either version 1.3 -of this license or (at your option) any later version. -The latest version of this license is in - http://www.latex-project.org/lppl.txt -and version 1.3 or later is part of all distributions of LaTeX -version 2005/12/01 or later. - -This work has the LPPL maintenance status `maintained'. - -The Current Maintainer of this work is Emmanuel Beffara. - -This work consists of the files ebproof.sty and ebproof.tex. |