drwxr-xr-x root/admin        0 2012-05-12 06:19 ./
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/
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/
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/lib/emacsen-common/packages/remove/
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/
-rw-r--r-- root/admin      674 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/.emacs
-rw-r--r-- root/admin     2375 2012-05-12 06:20 ./sw-buildworld/share/doc/mizar/README
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/share/doc/mizar-mode/
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/
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/share/info/
drwxr-xr-x root/admin        0 2012-05-12 06:20 ./sw-buildworld/share/mizar/