]> matita.cs.unibo.it Git - helm.git/history - matitaB/matita/matitaAuthentication.mli
support for printing the number of objects grouped by flavour
[helm.git] / matitaB / matita / matitaAuthentication.mli
2012-03-12 matitawebMatitaweb:
2011-12-12 Wilmer RicciottiMatitaweb: secure SHA-256 encryption for passwords.
2011-10-19 matitawebMatitaweb: added a function MatitaAuthentication.get_us...
2011-10-03 Wilmer RicciottiMatitaweb: implementation of file-flagging for keeping...
2011-09-30 matitawebMatitaweb:
2011-06-23 Wilmer RicciottiAdded matitaweb administration panel.
2011-06-22 Wilmer RicciottiAdded viewlib to 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-10 Wilmer RicciottiMulti-user matita: changed the status object to include...