diff options
Diffstat (limited to 'Master/tlpkg/new-list/petri-nets')
-rw-r--r-- | Master/tlpkg/new-list/petri-nets | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Master/tlpkg/new-list/petri-nets b/Master/tlpkg/new-list/petri-nets new file mode 100644 index 00000000000..63020060093 --- /dev/null +++ b/Master/tlpkg/new-list/petri-nets @@ -0,0 +1,13 @@ +texmf-dist/doc/latex/petri-nets/README +texmf-dist/doc/latex/petri-nets/pndoc.pdf +texmf-dist/doc/latex/petri-nets/pndoc.tex +texmf-dist/source/latex/petri-nets/COPYING +texmf-dist/source/latex/petri-nets/pn2pdf +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 +new-list/petri-nets |