]> matita.cs.unibo.it Git - helm.git/commit
Changed redirect behaviour of the daemon (incompatibility with browsers
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 7 Sep 2011 12:24:46 +0000 (12:24 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 7 Sep 2011 12:24:46 +0000 (12:24 +0000)
commit66b7f75467ba81224d961beda0ad0e55664c68b6
tree23fe0be63c132d7596deaf59439500f1dd5efc7e
parent0466f6387b02f1d0644fb74eacca237e30589111
Changed redirect behaviour of the daemon (incompatibility with browsers
different from google chrome).
matitaB/matita/.depend
matitaB/matita/Makefile
matitaB/matita/matitaAuthentication.ml
matitaB/matita/matitadaemon.ml