drwxr-xr-x root/admin        0 2012-05-12 06:20 ./
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/bin/
-rwxr-xr-x root/admin   763996 2011-06-22 13:03 ./sw-buildworld/bin/absedt
-rwxr-xr-x root/admin  1112188 2011-06-22 13:03 ./sw-buildworld/bin/accom
-rwxr-xr-x root/admin   547016 2011-06-22 13:03 ./sw-buildworld/bin/addfmsg
-rwxr-xr-x root/admin   976212 2011-06-22 13:03 ./sw-buildworld/bin/checkvoc
-rwxr-xr-x root/admin   881908 2011-06-22 13:03 ./sw-buildworld/bin/chklab
-rwxr-xr-x root/admin     3504 2011-06-22 13:03 ./sw-buildworld/bin/clearenv.pl
-rwxr-xr-x root/admin  1042676 2011-06-22 13:03 ./sw-buildworld/bin/constr
-rwxr-xr-x root/admin   792000 2011-06-22 13:03 ./sw-buildworld/bin/edtfile
-rwxr-xr-x root/admin   545916 2011-06-22 13:03 ./sw-buildworld/bin/errflag
-rwxr-xr-x root/admin  1398352 2011-06-22 13:03 ./sw-buildworld/bin/exporter
-rwxr-xr-x root/admin   653160 2011-06-22 13:03 ./sw-buildworld/bin/findvoc
-rwxr-xr-x root/admin   886224 2011-06-22 13:03 ./sw-buildworld/bin/inacc
-rwxr-xr-x root/admin  1029696 2011-06-22 13:03 ./sw-buildworld/bin/irrths
-rwxr-xr-x root/admin   974992 2011-06-22 13:03 ./sw-buildworld/bin/irrvoc
-rwxr-xr-x root/admin  1165676 2011-06-22 13:03 ./sw-buildworld/bin/lisppars
-rwxr-xr-x root/admin   651920 2011-06-22 13:03 ./sw-buildworld/bin/listvoc
-rwxr-xr-x root/admin  1112456 2011-06-22 13:03 ./sw-buildworld/bin/makeenv
-rwxr-xr-x root/admin   547516 2011-06-22 13:03 ./sw-buildworld/bin/mglue
-rwxr-xr-x root/admin      468 2011-06-22 13:03 ./sw-buildworld/bin/miz2abs
-rwxr-xr-x root/admin      708 2011-06-22 13:03 ./sw-buildworld/bin/miz2prel
-rwxr-xr-x root/admin     1016 2011-06-22 13:03 ./sw-buildworld/bin/mizf
-rwxr-xr-x root/admin   775284 2011-06-22 13:03 ./sw-buildworld/bin/msplit
-rwxr-xr-x root/admin   545592 2011-06-22 13:03 ./sw-buildworld/bin/prune.mizar
-rwxr-xr-x root/admin   547852 2011-06-22 13:03 ./sw-buildworld/bin/ratproof
-rwxr-xr-x root/admin  1564504 2011-06-22 13:03 ./sw-buildworld/bin/relinfer
-rwxr-xr-x root/admin  1564528 2011-06-22 13:03 ./sw-buildworld/bin/reliters
-rwxr-xr-x root/admin  1564232 2011-06-22 13:03 ./sw-buildworld/bin/relprem
-rwxr-xr-x root/admin   545252 2011-06-22 13:03 ./sw-buildworld/bin/remflags
-rwxr-xr-x root/admin   889972 2011-06-22 13:03 ./sw-buildworld/bin/renthlab
-rwxr-xr-x root/admin      505 2011-06-22 13:03 ./sw-buildworld/bin/revedt
-rwxr-xr-x root/admin      505 2011-06-22 13:03 ./sw-buildworld/bin/revf
-rwxr-xr-x root/admin  1050092 2011-06-22 13:03 ./sw-buildworld/bin/transfer
-rwxr-xr-x root/admin  1581880 2011-06-22 13:03 ./sw-buildworld/bin/trivdemo
-rwxr-xr-x root/admin  1792716 2011-06-22 13:03 ./sw-buildworld/bin/verifier
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/etc/
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/etc/profile.d/
-rwxr-xr-x root/admin       45 2012-05-12 06:20 ./sw-buildworld/etc/profile.d/mizar-bin.csh
-rwxr-xr-x root/admin       45 2012-05-12 06:20 ./sw-buildworld/etc/profile.d/mizar-bin.sh