*** Begin of history file: Thu Jun  7 17:46:05 2007
exec comp
sh ls *.out
exec comp
exec comp
exit
*** End   of history file: Thu Jun  7 17:50:00 2007