diff options
Diffstat (limited to 'Master/texmf-dist')
| -rw-r--r-- | Master/texmf-dist/ls-R | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/texmf-dist/ls-R b/Master/texmf-dist/ls-R index 806c30d1b10..9a135b93509 100644 --- a/Master/texmf-dist/ls-R +++ b/Master/texmf-dist/ls-R @@ -13251,7 +13251,6 @@ localloc.dvi localtst.tex ./doc/latex/logic: -milstd.tex ./doc/latex/logical-markup-utils: COPYING @@ -69688,6 +69687,7 @@ liturg lkproof lm localloc +logic logical-markup-utils logpap lps @@ -75124,6 +75124,9 @@ ts1lmvtt.fd ./tex/latex/localloc: localloc.sty +./tex/latex/logic: +milstd.tex + ./tex/latex/logical-markup-utils: onedash.sty quoted.sty |