drwxr-xr-x root/admin        0 2012-05-12 02:09 ./
drwxr-xr-x root/admin        0 2012-05-12 02:09 ./sw-buildworld/
drwxr-xr-x root/admin        0 2012-05-12 02:09 ./sw-buildworld/share/
drwxr-xr-x root/admin        0 2012-05-12 02:09 ./sw-buildworld/share/doc/
drwxr-xr-x root/admin        0 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/
drwxr-xr-x root/admin        0 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/faq/
-rw-r--r-- root/admin   387851 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/faq/FAQ.pdf
drwxr-xr-x root/admin        0 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/faq/html/
-rw-r--r-- root/admin    10075 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/faq/html/axioms.png
-rw-r--r-- root/admin   225663 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/faq/html/index.html
-rw-r--r-- root/admin    10303 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/faq/html/interval_discr.v
-rw-r--r-- root/admin   137996 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/RecTutorial.html
-rw-r--r-- root/admin   384066 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/RecTutorial.pdf
drwxr-xr-x root/admin        0 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/
drwxr-xr-x root/admin        0 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/
-rw-r--r-- root/admin    40819 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/biblio.html
-rw-r--r-- root/admin    39418 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/command-index.html
-rw-r--r-- root/admin    27316 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/coqide-queries.png
-rw-r--r-- root/admin    20953 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/coqide.png
-rw-r--r-- root/admin    21001 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/error-index.html
-rw-r--r-- root/admin    99882 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/general-index.html
-rw-r--r-- root/admin     1830 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/hevea.css
-rw-r--r-- root/admin     2162 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/index.html
-rw-r--r-- root/admin     9382 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual001.html
-rw-r--r-- root/admin    42901 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual002.html
-rw-r--r-- root/admin   129258 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual003.html
-rw-r--r-- root/admin   126067 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual004.html
-rw-r--r-- root/admin    64059 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual005.html
-rw-r--r-- root/admin   132762 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual006.html
-rw-r--r-- root/admin    51246 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual007.html
-rw-r--r-- root/admin      726 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual008.html
-rw-r--r-- root/admin    80454 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual009.html
-rw-r--r-- root/admin    21206 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual010.html
-rw-r--r-- root/admin   283144 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual011.html
-rw-r--r-- root/admin    60422 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual012.html
-rw-r--r-- root/admin    90659 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual013.html
-rw-r--r-- root/admin    65593 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual014.html
-rw-r--r-- root/admin    67735 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual015.html
-rw-r--r-- root/admin     1646 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual016.html
-rw-r--r-- root/admin    21721 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual017.html
-rw-r--r-- root/admin    56188 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual018.html
-rw-r--r-- root/admin    19565 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual019.html
-rw-r--r-- root/admin     1034 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual020.html
-rw-r--r-- root/admin     3344 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual021.html
-rw-r--r-- root/admin    34596 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual022.html
-rw-r--r-- root/admin    42025 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual023.html
-rw-r--r-- root/admin    27649 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual024.html
-rw-r--r-- root/admin     9816 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual025.html
-rw-r--r-- root/admin    16572 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual026.html
-rw-r--r-- root/admin    32840 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual027.html
-rw-r--r-- root/admin    20708 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual028.html
-rw-r--r-- root/admin    57019 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual029.html
-rw-r--r-- root/admin     8653 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual030.html
-rw-r--r-- root/admin    47991 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/Reference-Manual031.html
-rw-r--r-- root/admin      197 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/style.css
-rw-r--r-- root/admin    22832 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/tactic-index.html
-rw-r--r-- root/admin    21115 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/html/toc.html
-rw-r--r-- root/admin  1521666 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/refman/Reference-Manual.pdf
-rw-r--r-- root/admin   143766 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/Tutorial.html
-rw-r--r-- root/admin   201113 2012-05-12 02:09 ./sw-buildworld/share/doc/coq/Tutorial.pdf
drwxr-xr-x root/admin        0 2012-05-12 02:09 ./sw-buildworld/share/doc/coq-doc/
-rw-r--r-- root/admin    32417 2012-05-12 02:09 ./sw-buildworld/share/doc/coq-doc/LICENSE
-rwxr-xr-x root/admin      645 2012-05-12 02:09 ./sw-buildworld/share/doc/coq-doc/README.doc
-rw-r--r-- root/admin      270 2012-05-12 02:09 ./sw-buildworld/share/doc/coq-doc/README.fink