Name Last modified Size DescriptionApache/2.4.39 (Unix) Server at dev.cs.ovgu.de Port 80
Parent Directory - readme.txt 2003-01-30 13:10 1.1K r22.mps 2002-04-09 15:27 2.0K conowego.txt 2003-05-09 23:04 3.2K tstlatex.tex 2002-04-09 15:27 4.7K czytaj.txt 2003-01-30 13:10 9.7K platex.html 2005-01-18 03:53 13K 00readme 2005-01-18 03:52 15K polski.dvi 2004-01-25 22:34 70K