Name Last modified Size ![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
prog/ 2025-08-19 12:26 -
![[TXT]](/icons/text.gif){kind=icon}
demo2.tex 2010-05-17 18:18 1.5K
demo1.tex 2006-01-09 01:56 731
![[ ]](/icons/unknown.gif){kind=icon}
README.pol 2010-05-17 18:18 3.6K
![[ ]](/icons/compressed.gif){kind=icon}
README.eng.gz 2010-05-18 20:21 1.8K