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

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

2003-02-04	Ferruccio Guidi	SQL quoting fixed in relation.ml	blob \| commitdiff \| raw
2002-10-25	no author	This commit was manufactured by cvs2svn to create branch	blob \| commitdiff \| raw \| diff to current
2002-10-09	no author	This commit was manufactured by cvs2svn to create branch	blob \| commitdiff \| raw
2002-09-19	natile	commit of galax mathql interpreter	blob \| commitdiff \| raw \| diff to current
2002-05-22	lordi	.cvsignore improved	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
2001-11-28	Claudio Sacerdoti...	META files are now automatically generated from META...	blob \| commitdiff \| raw \| diff to current

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