]> matita.cs.unibo.it Git - helm.git/history - matita/configure.ac
chapter9
[helm.git] / matita / configure.ac
2011-11-18 Claudio Sacerdoti... * Almost ready for release 0.99.1.
2011-11-17 Claudio Sacerdoti... In preparation of 0.95.1 release.
2010-10-08 Andrea Aspertihgdome no longer used (RIP)
2010-10-07 Andrea Aspertixmldiff removed
2010-10-07 Andrea Asperti- cic_exportation, cic_acic, acic_content (only parts...
2010-10-07 Andrea Aspertiacic_procedural and tactics removed
2010-10-06 Andrea AspertiRemoved tptp_grafite
2010-10-05 Andrea Aspertiwhelp and cic disambiguation removed
2010-10-01 Andrea AspertiMathML widget no longer used. Requesciat in pacem
2010-09-30 Claudio Sacerdoti... test to see if svn cp worked as expected
2010-09-30 Claudio Sacerdoti... Stuff moved from old Matita.