]> matita.cs.unibo.it Git - helm.git/commit
Logout (partial work) (multi-user matita)
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 15 Jun 2011 14:13:24 +0000 (14:13 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 15 Jun 2011 14:13:24 +0000 (14:13 +0000)
commit2ab54291cd9038c81b82ddb29936e966c66a480c
tree50be30b57d95fe72ba2742cf805713fd7488be28
parentd8ae533d041cb600993ab2957111c105b6ded21d
Logout (partial work) (multi-user matita)
matitaB/matita/matitaAuthentication.ml
matitaB/matita/matitaAuthentication.mli
matitaB/matita/matitadaemon.ml
matitaB/matita/matitaweb.js
matitaB/matita/netplex.conf