../ 8terminal.tex 06-Sep-2008 22:41 0 READMe 07-Sep-2008 08:18 574 trip.fot 07-Sep-2008 08:25 2428 trip.fot.diff 07-Sep-2008 08:27 77 trip.log 06-Sep-2008 22:42 183953 trip.log.diff 06-Sep-2008 22:46 500 trip.pl 16-Jun-2013 14:38 16990 trip.pl.diff 06-Sep-2008 22:30 0 trip.typ 06-Sep-2008 23:41 18051 trip.typ.diff 06-Sep-2008 23:41 133 tripin.log.diff 06-Sep-2008 22:39 281 tripos.tex 16-Jun-2013 14:38 59 tripos.tex.diff 07-Sep-2008 07:44 0