matita.cs.unibo.it Git - helm.git/history - matita/matita/matitaInit.ml

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/matitaInit.ml

2022-12-30	Claudio Sacerdoti...	Porting to ocaml 5	blob \| commitdiff \| raw
2013-02-04	Claudio Sacerdoti...	New option -extract_ocaml to extract to ocaml files.	blob \| commitdiff \| raw \| diff to current
2011-03-22	Claudio Sacerdoti...	Use matita/lib as the new standard library in place...	blob \| commitdiff \| raw \| diff to current
2010-10-27	Andrea Asperti	old standard library no longer included	blob \| commitdiff \| raw \| diff to current
2010-10-08	Andrea Asperti	- hmysql removed (RIP)	blob \| commitdiff \| raw \| diff to current
2010-10-07	Andrea Asperti	- cic_exportation, cic_acic, acic_content (only parts...	blob \| commitdiff \| raw \| diff to current
2010-10-07	Andrea Asperti	acic_procedural and tactics removed	blob \| commitdiff \| raw \| diff to current
2010-09-30	Claudio Sacerdoti...	Stuff moved from old Matita.	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.