summaryrefslogtreecommitdiff
path: root/Master/tlpkg/new-list/petri-nets
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/new-list/petri-nets')
-rw-r--r--Master/tlpkg/new-list/petri-nets13
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