summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/ebproof/README.md
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-08-20 03:01:54 +0000
committerNorbert Preining <norbert@preining.info>2020-08-20 03:01:54 +0000
commite2dfc4cc8dc03d323073de46903005e3a9d12255 (patch)
tree283bcf119eff28b9f992e1005d38353626efcd2e /macros/latex/contrib/ebproof/README.md
parent75955a0dece2b1996d51d4f43ad5778cd6d5b4cc (diff)
CTAN sync 202008200301
Diffstat (limited to 'macros/latex/contrib/ebproof/README.md')
-rw-r--r--macros/latex/contrib/ebproof/README.md10
1 files changed, 5 insertions, 5 deletions
diff --git a/macros/latex/contrib/ebproof/README.md b/macros/latex/contrib/ebproof/README.md
index 0f8b35038c..e794db1fee 100644
--- a/macros/latex/contrib/ebproof/README.md
+++ b/macros/latex/contrib/ebproof/README.md
@@ -14,9 +14,9 @@ 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
+- `ebproof.dtx` : the doctrip source for the package and documentation
+- `ebproof.pdf` : the compiled documentation
+- `ebproof.sty` : the generated package
The package requires `expl3` (the LaTeX3 programming environment) which
provides many useful programming tools.
@@ -25,7 +25,7 @@ provides many useful programming tools.
License
-------
-Copyright 2015 Emmanuel Beffara <manu@beffara.org>
+Copyright 2015-2020 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
@@ -39,4 +39,4 @@ 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`.
+This work consists of the file `ebproof.dtx`.