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

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/Makefile.in

2004-01-19	Claudio Sacerdoti...	mathql listed twice	blob \| commitdiff \| raw
2004-01-14	Stefano Zacchiroli	- added logger module	blob \| commitdiff \| raw \| diff to current
2003-12-17	Ferruccio Guidi	Makefiles patched	blob \| commitdiff \| raw \| diff to current
2003-12-16	Stefano Zacchiroli	use new METAS/* names	blob \| commitdiff \| raw \| diff to current
2003-12-16	Stefano Zacchiroli	moved META files in METAS/ dir	blob \| commitdiff \| raw \| diff to current
2003-12-16	Stefano Zacchiroli	added support for cic_textual_parser2 module	blob \| commitdiff \| raw \| diff to current
2003-09-23	Ferruccio Guidi	Now mathql_generator compiles before mathql_interpreter.	blob \| commitdiff \| raw \| diff to current
2003-07-20	Claudio Sacerdoti...	cic_transformations factorized into cic_omdoc and cic_t...	blob \| commitdiff \| raw \| diff to current
2003-07-16	Andrea Asperti	Several changes (the beginning of a new era???)	blob \| commitdiff \| raw \| diff to current
2003-07-02	Ferruccio Guidi	mathql_generator: new constraint format (more type...	blob \| commitdiff \| raw \| diff to current
2003-06-19	Claudio Sacerdoti...	Merge of the V7_3_new_exportation branch.	blob \| commitdiff \| raw \| diff to current
2002-09-19	natile	commit of galax mathql interpreter	blob \| commitdiff \| raw \| diff to current
2002-05-22	Ferruccio Guidi	mathql package started	blob \| commitdiff \| raw \| diff to current
2002-05-14	Claudio Sacerdoti...	First very-very-very-very-alfa release of a MathQL...	blob \| commitdiff \| raw \| diff to current
2002-04-26	Claudio Sacerdoti...	First (very bugged) version of cic_unification committed.	blob \| commitdiff \| raw \| diff to current
2002-01-10	Claudio Sacerdoti...	CIC Textual Parser added to the repository.	blob \| commitdiff \| raw \| diff to current
2001-11-29	Claudio Sacerdoti...	* .mli added where needed	blob \| commitdiff \| raw \| diff to current
2001-11-28	Claudio Sacerdoti...	configure.in now used (just to check that ocaml and...	blob \| commitdiff \| raw \| diff to current

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

RSS Atom