]> matita.cs.unibo.it Git - helm.git/commit
Bug fixing + cosmetic changes
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 6 Jul 2012 12:32:08 +0000 (12:32 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 6 Jul 2012 12:32:08 +0000 (12:32 +0000)
commit92fc70ae76ae4376b7976d1dff5c9b57d1b96056
treed36363e92677a418a1dc96d0222d4dbc30fa3d61
parentc0ac63fead67ea1902e3d923ce877a2779cf501e
Bug fixing + cosmetic changes
matitaB/matita/html/icons/matita-32.png [new file with mode: 0644]
matitaB/matita/html/index.html
matitaB/matita/html/matitaweb.css
matitaB/matita/html/matitaweb.js
matitaB/matita/matitaFilesystem.ml
matitaB/matita/matitadaemon.ml