]> matita.cs.unibo.it Git - helm.git/history - matitaB/configure.ac
guarded realizability
[helm.git] / matitaB / configure.ac
2011-12-12 Wilmer RicciottiMatitaweb: secure SHA-256 encryption for passwords.
2011-06-10 Wilmer RicciottiMulti-user matita: changed the status object to include...
2011-06-08 Wilmer RicciottiRemoved dependency of Matitaweb from GTK libraries.
2011-06-07 Wilmer RicciottiSome changes in the Makefile for matitaweb.
2011-02-21 Wilmer Ricciottifork for Matita version B