diff options
Diffstat (limited to 'Master/texmf')
-rw-r--r-- | Master/texmf/lists/semantic | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf/lists/semantic b/Master/texmf/lists/semantic index 02242a89f9a..cbb84139a04 100644 --- a/Master/texmf/lists/semantic +++ b/Master/texmf/lists/semantic @@ -1,4 +1,4 @@ - +texmf-dist/doc/latex/semantic/semantic.pdf texmf-dist/source/latex/semantic/semantic.dtx texmf-dist/source/latex/semantic/semantic.ins texmf-dist/tex/latex/semantic/infernce.sty |