summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/generic/petri-nets
AgeCommit message (Expand)Author
2015-12-21pn2pdf script for petri-nets (Enrico Gregorio mail, 21 Dec 2015 12:35:28)Karl Berry
2011-09-25petri-nets non-update to genericKarl Berry