diff options
| -rw-r--r-- | Master/texmf-dist/ls-R | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Master/texmf-dist/ls-R b/Master/texmf-dist/ls-R index 3e96484e76f..8aca35d63d6 100644 --- a/Master/texmf-dist/ls-R +++ b/Master/texmf-dist/ls-R @@ -4367,6 +4367,7 @@ svn-multi svninfo swebib swimgraf +synproof syntax syntrace synttree @@ -10659,6 +10660,11 @@ swimgraf.pdf text1.pdf text2.pdf +./doc/latex/synproof: +README +synproof-doc.pdf +synproof-doc.tex + ./doc/latex/syntax: README syntaxintro.pdf @@ -51421,6 +51427,7 @@ svn-multi svninfo swimgraf symbol +synproof syntax syntrace synttree @@ -57809,6 +57816,9 @@ swimgraf.sty ./tex/latex/symbol: uusy.fd +./tex/latex/synproof: +synproof.sty + ./tex/latex/syntax: syntax.tex |