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/README34
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.