]> matita.cs.unibo.it Git - helm.git/commit
Added matitaweb administration panel.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 23 Jun 2011 14:03:05 +0000 (14:03 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 23 Jun 2011 14:03:05 +0000 (14:03 +0000)
commit5952e8ed7a1deffe8766f4ffb4cd6f97ba803d06
tree2bb986d7bcd5d2d9f6c0cd8536208ff27648f47d
parent4b54dde3aab6d58ab11c5bafd291b65af241e28e
Added matitaweb administration panel.
matitaB/matita/admin.html [new file with mode: 0644]
matitaB/matita/matitaAuthentication.ml
matitaB/matita/matitaAuthentication.mli
matitaB/matita/matitaFilesystem.ml
matitaB/matita/matitaFilesystem.mli
matitaB/matita/matitadaemon.ml