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

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

2005-04-27	Stefano Zacchiroli	ported to svn-cvs merge	blob \| commitdiff \| raw
2005-01-21	Enrico Tassi	- sync with the new ApplyTransformation API	blob \| commitdiff \| raw \| diff to current
2004-10-22	Stefano Zacchiroli	no longer build oldDisambiguate	blob \| commitdiff \| raw \| diff to current
2004-10-04	Stefano Zacchiroli	added dependency on helm-xmldiff	blob \| commitdiff \| raw \| diff to current
2004-04-28	Stefano Zacchiroli	rebuilt	blob \| commitdiff \| raw \| diff to current
2004-02-12	Ferruccio Guidi	new .depend files	blob \| commitdiff \| raw \| diff to current
2004-02-11	Stefano Zacchiroli	new getter, logger, and the hell	blob \| commitdiff \| raw \| diff to current
2004-02-07	Stefano Zacchiroli	rebuilt	blob \| commitdiff \| raw \| diff to current
2004-01-30	Stefano Zacchiroli	added regression tests	blob \| commitdiff \| raw \| diff to current
2004-01-23	Claudio Sacerdoti...	Eureka!	blob \| commitdiff \| raw \| diff to current
2004-01-23	Claudio Sacerdoti...	- Added DisambiguatingParser (that abstracts both the...	blob \| commitdiff \| raw \| diff to current
2004-01-22	Stefano Zacchiroli	updated	blob \| commitdiff \| raw \| diff to current
2004-01-22	Stefano Zacchiroli	added ChosenTransformer	blob \| commitdiff \| raw \| diff to current
2004-01-14	Stefano Zacchiroli	removed ui_logger, now in external module logger	blob \| commitdiff \| raw \| diff to current
2003-12-16	Stefano Zacchiroli	- fixed logging in log window so that spurious html...	blob \| commitdiff \| raw \| diff to current
2003-12-02	Ferruccio Guidi	sort CProp added	blob \| commitdiff \| raw \| diff to current
2003-10-29	Ferruccio Guidi	some interfaces changed to prepare the mathql code...	blob \| commitdiff \| raw \| diff to current
2003-09-23	Claudio Sacerdoti...	...	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-20	Claudio Sacerdoti...	Content2cic e Eta_fixing moved from gTopLevel to cic_omdoc.	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-19	Claudio Sacerdoti...	Merge of the V7_3_new_exportation branch.	blob \| commitdiff \| raw \| diff to current
2002-10-21	natile	Merge of the new_mathql branch with the main branch:	blob \| commitdiff \| raw \| diff to current
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