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

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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / gTopLevel / Makefile

2002-10-11	Claudio Sacerdoti...	- rewrite extended to handle rewritings with eqT	blob \| commitdiff \| raw
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.