summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/ebproof/README.md
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-05-17 21:51:34 +0000
committerKarl Berry <karl@freefriends.org>2017-05-17 21:51:34 +0000
commit3b7fbf85d39bd176b840b64a9abd5a1ff14fa6d7 (patch)
tree86cd54d256077ad654a9b8aa4a35dbead59a0e95 /Master/texmf-dist/doc/latex/ebproof/README.md
parentdad4e8602c1b3d00021908e8724be9d3d8aa0fdb (diff)
ebproof (17may17)
git-svn-id: svn://tug.org/texlive/trunk@44392 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/ebproof/README.md')
-rw-r--r--Master/texmf-dist/doc/latex/ebproof/README.md42
1 files changed, 42 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/ebproof/README.md b/Master/texmf-dist/doc/latex/ebproof/README.md
new file mode 100644
index 00000000000..0f8b35038cf
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/ebproof/README.md
@@ -0,0 +1,42 @@
+The ebproof package
+===================
+
+A LaTeX package to typeset formal proofs in the style of sequent calculus.
+
+Presentation
+------------
+
+The `ebproof` 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 `expl3` (the LaTeX3 programming environment) which
+provides many useful programming tools.
+
+
+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`.