summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/ebproof/README
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2015-02-03 23:39:18 +0000
committerKarl Berry <karl@freefriends.org>2015-02-03 23:39:18 +0000
commit5186e33c6d218e9003f3da20bedfa840c1765d27 (patch)
treefccf82dae9fd18882993ef75df511c43809c08c5 /Master/texmf-dist/doc/latex/ebproof/README
parentee0e64e16ff5d81050d780da9298fecd9eeae3b8 (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/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.