[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]8terminal.tex2008-09-07 00:41 0  
[TXT]READMe2008-09-07 10:18 574  
[TXT]trip.fot2008-09-07 10:25 2.4K 
[ ]trip.fot.diff2008-09-07 10:27 77  
[TXT]trip.log2008-09-07 00:42 180K 
[TXT]trip.log.diff2008-09-07 00:46 500  
[ ]trip.pl2008-09-07 00:29 17K 
[ ]trip.pl.diff2008-09-07 00:30 0  
[ ]trip.typ2008-09-07 01:41 18K 
[ ]trip.typ.diff2008-09-07 01:41 133  
[TXT]tripin.log.diff2008-09-07 00:39 281  
[ ]tripos.tex2008-09-07 00:41 59  
[ ]tripos.tex.diff2008-09-07 09:44 0