summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/ls-R
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/ls-R')
-rw-r--r--Master/texmf-dist/ls-R10
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