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/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      553 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/COPYING.interpretation
-rw-r--r-- root/admin     1252 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/example.bib
-rw-r--r-- root/admin    47607 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/external.bib
-rw-r--r-- root/admin     9111 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/FAQ
-rw-r--r-- root/admin   308887 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/fm.bib
-rw-r--r-- root/admin   676774 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/fmbibs.zip
-rw-r--r-- root/admin    52865 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/Mizar_FLA.pdf
-rw-r--r-- root/admin    12296 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/Mizar_FLA.tex
-rw-r--r-- root/admin   157510 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/mml.txt
-rw-r--r-- root/admin   803981 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/replthls.txt
-rw-r--r-- root/admin    18705 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/replths.txt
-rw-r--r-- root/admin    13188 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/syntax.txt
drwxr-xr-x root/admin        0 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/
-rw-r--r-- root/admin       36 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/article.rnc
-rw-r--r-- root/admin      181 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/article.rng
-rw-r--r-- root/admin      182 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/article.xsd
-rw-r--r-- root/admin       43 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/byexplanations.rnc
-rw-r--r-- root/admin      188 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/byexplanations.rng
-rw-r--r-- root/admin      182 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/byexplanations.xsd
-rw-r--r-- root/admin       41 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/constructors.rnc
-rw-r--r-- root/admin      186 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/constructors.rng
-rw-r--r-- root/admin      182 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/constructors.xsd
-rw-r--r-- root/admin       40 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/definientia.rnc
-rw-r--r-- root/admin      185 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/definientia.rng
-rw-r--r-- root/admin      182 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/definientia.xsd
-rw-r--r-- root/admin       45 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/fromexplanations.rnc
-rw-r--r-- root/admin      190 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/fromexplanations.rng
-rw-r--r-- root/admin      182 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/fromexplanations.xsd
-rw-r--r-- root/admin       50 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/identifyregistrations.rnc
-rw-r--r-- root/admin      195 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/identifyregistrations.rng
-rw-r--r-- root/admin      182 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/identifyregistrations.xsd
-rw-r--r-- root/admin   326686 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/miz.xsl
-rw-r--r-- root/admin   118508 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/miz.xsltxt
-rw-r--r-- root/admin   432280 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/Mizar.html
-rw-r--r-- root/admin    40088 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/Mizar.rnc
-rw-r--r-- root/admin    79444 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/Mizar.rng
-rw-r--r-- root/admin   355120 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/Mizar.xml
-rw-r--r-- root/admin    55761 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/Mizar.xsd
-rw-r--r-- root/admin   820301 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/Mizar1.html
-rw-r--r-- root/admin       38 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/notations.rnc
-rw-r--r-- root/admin      183 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/notations.rng
-rw-r--r-- root/admin      182 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/notations.xsd
-rw-r--r-- root/admin       42 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/registrations.rnc
-rw-r--r-- root/admin      187 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/registrations.rng
-rw-r--r-- root/admin      182 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/registrations.xsd
-rw-r--r-- root/admin       36 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/schemes.rnc
-rw-r--r-- root/admin      181 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/schemes.rng
-rw-r--r-- root/admin      182 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/schemes.xsd
-rw-r--r-- root/admin    42897 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/syntax.xml
-rw-r--r-- root/admin       37 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/theorems.rnc
-rw-r--r-- root/admin      182 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/theorems.rng
-rw-r--r-- root/admin      182 2011-06-22 13:03 ./sw-buildworld/share/doc/mizar/xml/theorems.xsd