../ 8terminal.tex 07-Sep-2008 06:41 0 READMe 07-Sep-2008 16:18 574 trip.fot 07-Sep-2008 16:25 2428 trip.fot.diff 07-Sep-2008 16:27 77 trip.log 07-Sep-2008 06:42 180K trip.log.diff 07-Sep-2008 06:46 500 trip.pl 07-Sep-2008 06:29 17K trip.pl.diff 07-Sep-2008 06:30 0 trip.typ 07-Sep-2008 07:41 18K trip.typ.diff 07-Sep-2008 07:41 133 tripin.log.diff 07-Sep-2008 06:39 281 tripos.tex 07-Sep-2008 06:41 59 tripos.tex.diff 07-Sep-2008 15:44 0