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.pdf 2015-10-05 13:18 191K jflap2tikz.groovy 2015-10-05 13:38 12K JFLAP2TikZ.tex 2015-10-05 13:18 6.8K README 2015-08-28 13:14 3.4K CHANGES 2015-10-05 13:30 323 examples/ 2015-10-05 13:14 -