blob: edcb7a7322c1c6fdd5b20c58fc722dce62722062 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
name petri-nets
category Package
docfiles
texmf-dist/doc/latex/petri-nets/README
texmf-dist/doc/latex/petri-nets/pndoc.pdf
texmf-dist/doc/latex/petri-nets/pndoc.tex
srcfiles
texmf-dist/source/latex/petri-nets/COPYING
texmf-dist/source/latex/petri-nets/pn2pdf
runfiles
texmf-dist/tex/latex/petri-nets/pndraw.sty
texmf-dist/tex/latex/petri-nets/pndraw.tex
texmf-dist/tex/latex/petri-nets/pnets.sty
texmf-dist/tex/latex/petri-nets/pnets.tex
texmf-dist/tex/latex/petri-nets/pntext.sty
texmf-dist/tex/latex/petri-nets/pntext.tex
texmf-dist/tex/latex/petri-nets/pnversion.tex
|