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

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

2003-01-30	Claudio Sacerdoti...	1. helmns and domImpl moved to the misc module ;-(	blob \| commitdiff \| raw
2003-01-30	Claudio Sacerdoti...	Minor code reorganization:	blob \| commitdiff \| raw \| diff to current
2003-01-28	Claudio Sacerdoti...	Fixed. It was no more working since the move of the...	blob \| commitdiff \| raw \| diff to current
2003-01-21	Claudio Sacerdoti...	New module Disambiguate to hold:	blob \| commitdiff \| raw \| diff to current
2002-12-22	Claudio Sacerdoti...	New: refinement is now used to disambiguate parsing.	blob \| commitdiff \| raw \| diff to current
2002-12-12	Michele Galatà	Rearranged tactics in VariousTactics into new modules...	blob \| commitdiff \| raw \| diff to current
2002-12-06	natile	mQueryLevels2.mli added in Makefile.	blob \| commitdiff \| raw \| diff to current
2002-12-04	natile	* empty log message *	blob \| commitdiff \| raw \| diff to current
2002-12-02	Claudio Sacerdoti...	First implementation of the new generalized SearchPatte...	blob \| commitdiff \| raw \| diff to current
2002-11-29	natile	Now MQueryGenerator generates the query and MQueryLevel...	blob \| commitdiff \| raw \| diff to current
2002-11-26	Ferruccio Guidi	Generator updated for new MathQL.ml	blob \| commitdiff \| raw \| diff to current
2002-10-31	Michele Galatà	Added variousTactic with Constructor, Left, Right,...	blob \| commitdiff \| raw \| diff to current
2002-10-31	Claudio Sacerdoti...	- ElimIntrosSimpl now implemented using tacticals....	blob \| commitdiff \| raw \| diff to current
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-17	Ferruccio Guidi	new query generator	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-07	Enrico Tassi	First works	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-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-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