../ 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 180K trip.log.diff 06-Sep-2008 22:46 500 trip.pl 06-Sep-2008 22:29 17K trip.pl.diff 06-Sep-2008 22:30 0 trip.typ 06-Sep-2008 23:41 18K trip.typ.diff 06-Sep-2008 23:41 133 tripin.log.diff 06-Sep-2008 22:39 281 tripos.tex 06-Sep-2008 22:41 59 tripos.tex.diff 07-Sep-2008 07:44 0