]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 861d99c) | patch
This update uses XML for client-server communication. For unknown reasons, this
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 6 Jun 2011 14:55:54 +0000 (14:55 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 6 Jun 2011 14:55:54 +0000 (14:55 +0000)
commitd2a3f16be6c74cc7d79198a6ed126103bb502aea
tree4753cdef0a80a5ba7ad5191b184cfc369b5140f6tree | snapshot
parent861d99cbe515be1a8e6ca204c2cafa40ccdec8a3commit | diff
This update uses XML for client-server communication. For unknown reasons, this
doesn't seem to work well with Firefox (but works ok on Chrome).

We reverted to a single process http daemon because of an annoying bug in
Ocaml Http, causing the daemon to terminate randomly.
matitaB/matita/matitadaemon.ml diff | blob | history
matitaB/matita/matitaweb.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.