summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/ebproof
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2021-01-28 22:08:51 +0000
committerKarl Berry <karl@freefriends.org>2021-01-28 22:08:51 +0000
commita7b1aa320c5c210f2f287f55af834a8ee8628cfa (patch)
tree1205f2caad242346e6ceb283e78307ee08a8098d /Master/texmf-dist/doc/latex/ebproof
parent72d9cea6ec049c84fa9c885c2677b390e93753df (diff)
ebproof (28jan21)
git-svn-id: svn://tug.org/texlive/trunk@57544 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/ebproof')
-rw-r--r--Master/texmf-dist/doc/latex/ebproof/README.md4
-rw-r--r--Master/texmf-dist/doc/latex/ebproof/ebproof.pdfbin496470 -> 496893 bytes
2 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/latex/ebproof/README.md b/Master/texmf-dist/doc/latex/ebproof/README.md
index e794db1feed..4c805330cd0 100644
--- a/Master/texmf-dist/doc/latex/ebproof/README.md
+++ b/Master/texmf-dist/doc/latex/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
diff --git a/Master/texmf-dist/doc/latex/ebproof/ebproof.pdf b/Master/texmf-dist/doc/latex/ebproof/ebproof.pdf
index 60d433b9fd9..ee5c6afa39f 100644
--- a/Master/texmf-dist/doc/latex/ebproof/ebproof.pdf
+++ b/Master/texmf-dist/doc/latex/ebproof/ebproof.pdf
Binary files differ