]> matita.cs.unibo.it Git - helm.git/commit
Added viewlib to matitaweb.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 09:06:32 +0000 (09:06 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 09:06:32 +0000 (09:06 +0000)
commit16c004ddeff5cb72e1d58e16e85f039e3e2f8573
tree99ce13f1e3e39767bd47b918bb2d973dc61a5e94
parent052c5c2ca4c5257716ada059fbc723c975428a61
Added viewlib to matitaweb.
matitaB/matita/matitaAuthentication.ml
matitaB/matita/matitaAuthentication.mli
matitaB/matita/matitadaemon.ml
matitaB/matita/netplex.conf