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

]> matita.cs.unibo.it Git - helm.git/search

2005-01-25	Enrico Tassi	- added code for Coercion command, Print Env command.	commit \| commitdiff \| tree
2005-01-21	Enrico Tassi	- sync with the new ApplyTransformation API	commit \| commitdiff \| tree
2005-01-21	Enrico Tassi	- Changed ApplyTransformation API to return both the...	commit \| commitdiff \| tree
2005-01-19	Enrico Tassi	coercion application	commit \| commitdiff \| tree
2005-01-19	Enrico Tassi	fix coercGraph.mli	commit \| commitdiff \| tree
2005-01-19	Enrico Tassi	fixed #xpointer handling in uri_of_string. new examples :	commit \| commitdiff \| tree
2005-01-19	Enrico Tassi	Added coercion handling module	commit \| commitdiff \| tree
2005-01-18	Enrico Tassi	fixed comments	commit \| commitdiff \| tree
2005-01-17	Enrico Tassi	new cicEnvironment implementation	commit \| commitdiff \| tree
2005-01-12	Enrico Tassi	fixed clean_and_fill	commit \| commitdiff \| tree
2005-01-12	Enrico Tassi	fixed bug in fill_and_clean (now the helper universes_of_obj...	commit \| commitdiff \| tree
2005-01-10	Enrico Tassi	added begin list and end list comments to help moogle...	commit \| commitdiff \| tree
2004-12-02	Enrico Tassi	sync with universes and ~subst (and not ?(subst=[]))	commit \| commitdiff \| tree
2004-12-01	Enrico Tassi	Added universes handling. Tag PRE_UNIVERSES may help ;)	commit \| commitdiff \| tree
2004-12-01	Enrico Tassi	Added universes handling. The PRE_UNIVERSES tag may...	commit \| commitdiff \| tree
2004-06-02	Enrico Tassi	fix for proofEngineTypes.mli	commit \| commitdiff \| tree
2004-06-01	Enrico Tassi	new universes implementation	commit \| commitdiff \| tree
2004-04-23	Enrico Tassi	Universes introduction	commit \| commitdiff \| tree
2004-04-22	Enrico Tassi	Big bug fixed: in the case t <?= ?1, the instantiation...	commit \| commitdiff \| tree
2004-04-22	Enrico Tassi	fourier.mli addedto interface files.	commit \| commitdiff \| tree
2002-11-04	Enrico Tassi	bug found:	commit \| commitdiff \| tree
2002-10-25	Enrico Tassi	Now esempi/fourier.cic end with a proof!	commit \| commitdiff \| tree
2002-10-17	Enrico Tassi	- indentation is now in pseudo-functional style!	commit \| commitdiff \| tree
2002-10-17	Enrico Tassi	- rewritesimpl_tac added in fourierR.ml (wrong location)	commit \| commitdiff \| tree
2002-10-11	Enrico Tassi	More debug printings.	commit \| commitdiff \| tree
2002-10-10	Enrico Tassi	Added an example to test fourier_tac.	commit \| commitdiff \| tree
2002-10-10	Enrico Tassi	Debug printing update, now the unification bug	commit \| commitdiff \| tree
2002-10-07	Enrico Tassi	fourier_tac without useless recursion	commit \| commitdiff \| tree
2002-10-07	Enrico Tassi	hopefully last tactic update cvs log	commit \| commitdiff \| tree
2002-10-02	Enrico Tassi	tactic update	commit \| commitdiff \| tree
2002-09-19	Enrico Tassi	Tactic update	commit \| commitdiff \| tree
2002-09-18	Enrico Tassi	Tactic update	commit \| commitdiff \| tree
2002-09-13	Enrico Tassi	Fourier tactic update	commit \| commitdiff \| tree
2002-09-09	Enrico Tassi	Fourier tactic update	commit \| commitdiff \| tree
2002-09-07	Enrico Tassi	First works	commit \| commitdiff \| tree
2002-09-04	Enrico Tassi	Fourier tactic	commit \| commitdiff \| tree

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

RSS Atom