summaryrefslogtreecommitdiff
path: root/Master/texmf/lists/logic
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf/lists/logic')
-rw-r--r--Master/texmf/lists/logic7
1 files changed, 7 insertions, 0 deletions
diff --git a/Master/texmf/lists/logic b/Master/texmf/lists/logic
new file mode 100644
index 00000000000..75d778d20c1
--- /dev/null
+++ b/Master/texmf/lists/logic
@@ -0,0 +1,7 @@
+texmf-dist/doc/latex/logic/gn-logic14.dvi
+texmf-dist/doc/latex/logic/gn-logic14.tex
+texmf-dist/doc/latex/logic/milstd.tex
+texmf-dist/fonts/source/public/logic/milstd.mf
+texmf-dist/fonts/tfm/public/logic/milstd.tfm
+texmf-dist/tex/latex/logic/gn-logic14.sty
+texmf/lists/logic