summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/ebproof/README.md
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2021-01-29 03:01:22 +0000
committerNorbert Preining <norbert@preining.info>2021-01-29 03:01:22 +0000
commitbc31a53b31d92ddf5db3e7df811734a0141f8b3f (patch)
treec493784cbfd3cda263acc9ce04de9f94e540c3ba /macros/latex/contrib/ebproof/README.md
parent580a384585ecc80778ebca5845ce3bd7ae60cb48 (diff)
CTAN sync 202101290301
Diffstat (limited to 'macros/latex/contrib/ebproof/README.md')
-rw-r--r--macros/latex/contrib/ebproof/README.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/macros/latex/contrib/ebproof/README.md b/macros/latex/contrib/ebproof/README.md
index e794db1fee..4c805330cd 100644
--- a/macros/latex/contrib/ebproof/README.md
+++ b/macros/latex/contrib/ebproof/README.md
@@ -15,8 +15,8 @@ styles of inference rules, placement of labels, etc.
The distribution includes the following files:
- `ebproof.dtx` : the doctrip source for the package and documentation
+- `ebproof.ins` : the generation script for producing `ebproof.sty`
- `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-2020 Emmanuel Beffara <manu@beffara.org>
+Copyright 2015-2021 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