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

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

[helm.git] / helm / gTopLevel / Makefile

2003-07-29	Claudio Sacerdoti...	Spurious files removed.	blob \| commitdiff \| raw
2003-07-28	Stefano Zacchiroli	use OCAMLFIND variable instead of "ocamlfind" directly	blob \| commitdiff \| raw \| diff to current
2003-07-22	Claudio Sacerdoti...	XmlDiff-ing of DOM trees implemented.	blob \| commitdiff \| raw \| diff to current
2003-07-17	Ferruccio Guidi	- new generated query "unreferred" implemented at serve...	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-06-20	Ferruccio Guidi	styles directory creation now works even if stylesheets...	blob \| commitdiff \| raw \| diff to current
2003-06-20	Claudio Sacerdoti...	- script.sh added to the repository: you should change...	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-10-11	Claudio Sacerdoti...	- rewrite extended to handle rewritings with eqT	blob \| commitdiff \| raw \| diff to current
2002-09-13	Claudio Sacerdoti...	ring.ml* splitted into ring.ml* and tacticals.ml*	blob \| commitdiff \| raw \| diff to current
2002-09-04	Enrico Tassi	Fourier tactic	blob \| commitdiff \| raw \| diff to current
2002-07-22	Claudio Sacerdoti...	Many improvements in tactics (and tactical) representation:	blob \| commitdiff \| raw \| diff to current
2002-07-01	Stefano Zacchiroli	- added Ring tactic on reals	blob \| commitdiff \| raw \| diff to current
2002-06-22	Ferruccio Guidi	untested version of mQueryGenerator (was mquery part 2)	blob \| commitdiff \| raw \| diff to current
2002-06-12	Claudio Sacerdoti...	* Abst removed from the DTD	blob \| commitdiff \| raw \| diff to current
2002-06-10	Claudio Sacerdoti...	* doubleTypeInference.ml* added. For now, it just compu...	blob \| commitdiff \| raw \| diff to current
2002-05-29	Claudio Sacerdoti...	New module helm-mathql.	blob \| commitdiff \| raw \| diff to current
2002-05-22	Claudio Sacerdoti...	cic2acic.mli added	blob \| commitdiff \| raw \| diff to current
2002-05-20	Claudio Sacerdoti...	mquery.ml now really call the execution of the query.	blob \| commitdiff \| raw \| diff to current
2002-04-30	Ferruccio Guidi	basic MathQL support	blob \| commitdiff \| raw \| diff to current
2002-04-16	Claudio Sacerdoti...	proofEngineReduction.ml added	blob \| commitdiff \| raw \| diff to current
2002-04-08	Claudio Sacerdoti...	* Many improvements	blob \| commitdiff \| raw \| diff to current
2002-04-02	Claudio Sacerdoti...	First commit of our future proof-assistant/proof-improv...	blob \| commitdiff \| raw \| diff to current

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

RSS Atom