]> matita.cs.unibo.it Git - helm.git/history - matitaB/matita/matitaweb.js
Logout (partial work) (multi-user matita)
[helm.git] / matitaB / matita / matitaweb.js
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-08 Wilmer RicciottiCosmetic changes.
2011-06-07 Wilmer RicciottiMatitaweb daemon ported from Ocaml Http to Ocamlnet...
2011-06-06 Wilmer RicciottiThis update uses XML for client-server communication...
2011-06-01 Wilmer RicciottiMatita Web: moved the javascript in a separate file...