]> matita.cs.unibo.it Git - helm.git/history - matitaB/matita/netplex.conf
component "reducibility" updated to new syntax!
[helm.git] / matitaB / matita / netplex.conf
2011-10-12 Wilmer RicciottiMatitaweb: Fixed netplex.conf (which was changed by...
2011-10-12 Wilmer RicciottiMatitaweb: svn now skips empty commits.
2011-09-30 matitawebMatitaweb:
2011-09-21 matitaweb1) removed many debug prints
2011-09-07 matitawebChanged behavior in matitaweb.js, function retrieveFile...
2011-09-06 Wilmer RicciottiFirst attempt at svn commit of developments.
2011-06-23 Wilmer RicciottiAdded facility for resetting the library.
2011-06-22 Wilmer RicciottiAdded viewlib to matitaweb.
2011-06-15 Wilmer Ricciotti(Almost) working multi-user matitaweb.
2011-06-15 Wilmer RicciottiLogout (partial work) (multi-user matita)
2011-06-15 Wilmer RicciottiMulti-user Matita (and Matitaweb): added user authentic...
2011-06-08 Wilmer RicciottiFix for internet explorer (but still works badly).
2011-06-07 Wilmer RicciottiMatitaweb daemon ported from Ocaml Http to Ocamlnet...