summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/ebproof/README
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2015-03-22 21:22:17 +0000
committerKarl Berry <karl@freefriends.org>2015-03-22 21:22:17 +0000
commit03b72ee35aae655a0458e281a82a09efbcec318f (patch)
tree5b1b1747757015c9a41bcc189e730ad59673a364 /Master/texmf-dist/doc/latex/ebproof/README
parente764d74939c2f6a637c75a3c5c87068f275d2678 (diff)
ebproof (22mar15)
git-svn-id: svn://tug.org/texlive/trunk@36595 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/ebproof/README')
-rw-r--r--Master/texmf-dist/doc/latex/ebproof/README22
1 files changed, 20 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/latex/ebproof/README b/Master/texmf-dist/doc/latex/ebproof/README
index a64bac6f41f..e3893221e98 100644
--- a/Master/texmf-dist/doc/latex/ebproof/README
+++ b/Master/texmf-dist/doc/latex/ebproof/README
@@ -1,3 +1,5 @@
+== 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
@@ -12,5 +14,21 @@ The distribution includes the following files:
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.
+
+== 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.