]> matita.cs.unibo.it Git - helm.git/commit
Opening scripts using the Library dialog (try 1).
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 14:59:38 +0000 (14:59 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 14:59:38 +0000 (14:59 +0000)
commitfbfbf719113cb85cf49fd41d29570fe9ab47271e
treec4fa7951c78817e1e5f1b131b82001e1c0378a5f
parent62422e871a8ad9a1f730b771826d19980281a12f
Opening scripts using the Library dialog (try 1).
matitaB/matita/matitaFilesystem.ml
matitaB/matita/matitadaemon.ml
matitaB/matita/matitaweb.css
matitaB/matita/matitaweb.js