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

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

[helm.git] / helm / gTopLevel / gTopLevel.ml

2002-10-21	natile	Merge of the new_mathql branch with the main branch:	blob \| commitdiff \| raw
2002-10-17	Enrico Tassi	- rewritesimpl_tac added in fourierR.ml (wrong location)	blob \| commitdiff \| raw \| diff to current
2002-10-14	Claudio Sacerdoti...	- bug fixed: some liftings were missing in the implemen...	blob \| commitdiff \| raw \| diff to current
2002-10-11	Claudio Sacerdoti...	New tactic rewrite implemented.	blob \| commitdiff \| raw \| diff to current
2002-09-27	Claudio Sacerdoti...	Better handling of queries. Now both the locate and...	blob \| commitdiff \| raw \| diff to current
2002-09-19	Enrico Tassi	Tactic update	blob \| commitdiff \| raw \| diff to current
2002-09-09	Claudio Sacerdoti...	When locate is used during the lexing phase, it may...	blob \| commitdiff \| raw \| diff to current
2002-09-04	Claudio Sacerdoti...	The parser (the lexer indeed) now use the locate query...	blob \| commitdiff \| raw \| diff to current
2002-09-04	Enrico Tassi	Fourier tactic	blob \| commitdiff \| raw \| diff to current
2002-08-29	Michele Galatà	Comment typo fixed.	blob \| commitdiff \| raw \| diff to current
2002-07-29	Claudio Sacerdoti...	Updated to use the new parser that creates (stacks...	blob \| commitdiff \| raw \| diff to current
2002-07-01	Stefano Zacchiroli	- added Ring tactic on reals	blob \| commitdiff \| raw \| diff to current
2002-07-01	Ferruccio Guidi	mathQL modified, stderr corrected to stdout im mathql_i...	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-05-24	Claudio Sacerdoti...	* Clear and ClearBody implemented, but they are bugged...	blob \| commitdiff \| raw \| diff to current
2002-05-22	Claudio Sacerdoti...	Conjectures and Hypotheses inside every conjecture...	blob \| commitdiff \| raw \| diff to current
2002-05-21	Ferruccio Guidi	* empty log message *	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-05-20	Claudio Sacerdoti...	Many many improvements:	blob \| commitdiff \| raw \| diff to current
2002-05-08	Claudio Sacerdoti...	Experimental commit: definitions are now allowed in...	blob \| commitdiff \| raw \| diff to current
2002-04-30	Ferruccio Guidi	basic MathQL support	blob \| commitdiff \| raw \| diff to current
2002-04-29	Claudio Sacerdoti...	* Error handling improved	blob \| commitdiff \| raw \| diff to current
2002-04-26	Claudio Sacerdoti...	* Many improvements (expecially in exceptions handling)	blob \| commitdiff \| raw \| diff to current
2002-04-19	Claudio Sacerdoti...	* The interface of CicTypeChecker now allows the usage...	blob \| commitdiff \| raw \| diff to current
2002-04-19	Claudio Sacerdoti...	Reduction tactics in the scratch window implemented.	blob \| commitdiff \| raw \| diff to current
2002-04-18	Claudio Sacerdoti...	Scratch window is now also raised (= hide + show ;...	blob \| commitdiff \| raw \| diff to current
2002-04-18	Claudio Sacerdoti...	* Error reporting improved	blob \| commitdiff \| raw \| diff to current
2002-04-18	Claudio Sacerdoti...	* Scratch window added	blob \| commitdiff \| raw \| diff to current
2002-04-18	Claudio Sacerdoti...	* Many improvements	blob \| commitdiff \| raw \| diff to current
2002-04-16	Claudio Sacerdoti...	* Many improvements	blob \| commitdiff \| raw \| diff to current
2002-04-08	Claudio Sacerdoti...	* Many improvements	blob \| commitdiff \| raw \| diff to current
2002-04-05	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