summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/ebproof/README
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/ebproof/README')
-rw-r--r--Master/texmf-dist/doc/latex/ebproof/README16
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.