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/lib/
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/lib/emacsen-common/
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/lib/emacsen-common/packages/
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/lib/emacsen-common/packages/install/
-rwxr-xr-x root/admin      929 2012-05-12 06:20 ./sw-buildworld/lib/emacsen-common/packages/install/mizar-mode
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/lib/emacsen-common/packages/remove/
-rwxr-xr-x root/admin      365 2012-05-12 06:20 ./sw-buildworld/lib/emacsen-common/packages/remove/mizar-mode
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/share/
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/share/doc/
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/share/doc/mizar-mode/
-rw-r--r-- root/admin   220561 2012-05-12 06:20 ./sw-buildworld/share/doc/mizar-mode/MizarMode.pdf
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/share/emacs/
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/share/emacs/site-lisp/
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/share/emacs/site-lisp/mizar/
-rw-r--r-- root/admin   232982 2011-06-22 13:04 ./sw-buildworld/share/emacs/site-lisp/mizar/mizar.el
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/share/info/
-rw-r--r-- root/admin    59461 2012-05-12 06:20 ./sw-buildworld/share/info/MizarMode