--rw-r--r-- M 53 bootes sys 19295 Sep 19 2009 Main.lhs --rw-r--r-- M 53 fernan sys 5 Sep 19 2009 rewrite.stdout Go to parent directory