blob: b5ee9677b15ed5d5bda1565a5dcf2262ef445936 (
plain)
1
2
3
4
5
6
7
8
9
10
|
name logic
category Package
docfiles
texmf-dist/doc/latex/logic/gn-logic14.dvi
texmf-dist/doc/latex/logic/gn-logic14.tex
texmf-dist/doc/latex/logic/milstd.tex
runfiles
texmf-dist/fonts/source/public/logic/milstd.mf
texmf-dist/fonts/tfm/public/logic/milstd.tfm
texmf-dist/tex/latex/logic/gn-logic14.sty
|