Name Last modified Size ![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
CHANGES 2018-12-09 23:39 246
![[ ]](/icons/hand.right.gif){kind=icon}
README 2018-05-30 23:18 910
![[ ]](/icons/compressed.gif){kind=icon}
lppl.txt.gz 2018-05-30 23:18 6.3K
![[ ]](/icons/layout.gif){kind=icon}
texdate.pdf 2018-12-09 23:39 246K