/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2011-07-04 10:59 -0400 705 main.rkt
-rw-r--r-- 2011-07-04 10:59 -0400 4336 ometa-boot-pretty.g
-rw-r--r-- 2011-07-04 10:59 -0400 4409 ometa-boot.g
-rw-r--r-- 2011-07-04 10:59 -0400 880 ometa-opt.g
-rw-r--r-- 2011-07-04 10:59 -0400 28918 ometa.scm