Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - jflap2tikz.jar 2015-10-05 13:38 13M jflap2tikz.groovy 2015-10-05 13:38 12K examples/ 2015-10-05 13:14 - README 2015-08-28 13:14 3.4K JFLAP2TikZ.tex 2015-10-05 13:18 6.8K JFLAP2TikZ.pdf 2015-10-05 13:18 191K CHANGES 2015-10-05 13:30 323