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

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

[helm.git] / helm / software / matita / applyTransformation.ml

2009-07-13	Claudio Sacerdoti...	Coercion hiding implemented. Notes:	blob \| commitdiff \| raw
2009-06-11	Ferruccio Guidi	- applyTransformation: bugfix in the rendering of records	blob \| commitdiff \| raw \| diff to current
2009-06-09	Ferruccio Guidi	- Procedural: more support for the Debug inline option...	blob \| commitdiff \| raw \| diff to current
2009-06-06	Claudio Sacerdoti...	Previous commit reverted, as explained in that log.	blob \| commitdiff \| raw \| diff to current
2009-06-06	Claudio Sacerdoti...	This commit restores the ids_to_father_ids table.	blob \| commitdiff \| raw \| diff to current
2009-06-05	Ferruccio Guidi	- Procedural convertible rewrites in the conclusion...	blob \| commitdiff \| raw \| diff to current
2009-06-05	Claudio Sacerdoti...	1) the home button of CicBrowser now works also for NG	blob \| commitdiff \| raw \| diff to current
2009-06-03	Claudio Sacerdoti...	Huge commit with several changes:	blob \| commitdiff \| raw \| diff to current
2009-05-06	Ferruccio Guidi	- cicUtil: is_sober now detects folded applications	blob \| commitdiff \| raw \| diff to current
2009-05-05	Ferruccio Guidi	- hExtlib: new function "list_assoc_all"	blob \| commitdiff \| raw \| diff to current
2009-04-29	Ferruccio Guidi	- procedural: bugfix in "Barendregt convention" test	blob \| commitdiff \| raw \| diff to current
2009-04-27	Ferruccio Guidi	matitacLib: bugfix in .moo generation	blob \| commitdiff \| raw \| diff to current
2009-04-25	Ferruccio Guidi	- matitacLib: better handling of the callbacks for...	blob \| commitdiff \| raw \| diff to current
2009-04-21	Ferruccio Guidi	- MatitaMisc: we factorized here the function out_pream...	blob \| commitdiff \| raw \| diff to current
2009-04-09	Claudio Sacerdoti...	The substitution is now taken in account when printing...	blob \| commitdiff \| raw \| diff to current
2009-04-09	Claudio Sacerdoti...	+ Chain NCic.term -> content -> presentation very...	blob \| commitdiff \| raw \| diff to current
2009-03-10	Ferruccio Guidi	added some commented debugging instructions :)	blob \| commitdiff \| raw \| diff to current
2009-01-13	Enrico Tassi	many changes regarding coercions:	blob \| commitdiff \| raw \| diff to current
2008-10-18	Ferruccio Guidi	Acic2Procedural:	blob \| commitdiff \| raw \| diff to current
2008-10-17	Enrico Tassi	new command eval added	blob \| commitdiff \| raw \| diff to current
2008-09-18	Ferruccio Guidi	applyTransformation: improved error detection	blob \| commitdiff \| raw \| diff to current
2008-09-10	Ferruccio Guidi	we skip discharging on matita opbjects (they don't...	blob \| commitdiff \| raw \| diff to current
2008-09-07	Ferruccio Guidi	cicDischarge: we still have some problems here. Some...	blob \| commitdiff \| raw \| diff to current
2008-09-06	Ferruccio Guidi	we always save the discharged object for future reference	blob \| commitdiff \| raw \| diff to current
2008-08-28	Ferruccio Guidi	applyTransformation: variable discharging in procedural...	blob \| commitdiff \| raw \| diff to current
2008-08-23	Ferruccio Guidi	Procedural: bug fix in comment generation	blob \| commitdiff \| raw \| diff to current
2008-08-21	Ferruccio Guidi	basic support for imposed flavour in procedural object...	blob \| commitdiff \| raw \| diff to current
2008-07-16	Ferruccio Guidi	Procedural: some comments added in the generated script	blob \| commitdiff \| raw \| diff to current
2008-02-19	Ferruccio Guidi	now inline "file.ma" is allowed.	blob \| commitdiff \| raw \| diff to current
2007-10-28	Claudio Sacerdoti...	Pretty-printing of "match ... with" pattern syntax...	blob \| commitdiff \| raw \| diff to current
2007-07-19	Claudio Sacerdoti...	map_unicode_to_tex is no longer optional and it always...	blob \| commitdiff \| raw \| diff to current
2007-06-13	Enrico Tassi	many changes:	blob \| commitdiff \| raw \| diff to current
2007-06-01	Enrico Tassi	hacks for paramodulation declarative proofs	blob \| commitdiff \| raw \| diff to current
2007-05-24	Enrico Tassi	auto and autogui... some work	blob \| commitdiff \| raw \| diff to current
2007-05-20	Ferruccio Guidi	applyTransformation: added debugging information	blob \| commitdiff \| raw \| diff to current
2007-04-26	Ferruccio Guidi	procedural: bug fixes	blob \| commitdiff \| raw \| diff to current
2007-04-05	Enrico Tassi	fixed the pretty (notation aware) printer	blob \| commitdiff \| raw \| diff to current
2007-04-02	Ferruccio Guidi	Procedural: refactoring	blob \| commitdiff \| raw \| diff to current
2007-03-07	Ferruccio Guidi	Procedural : cic object preprocessor added	blob \| commitdiff \| raw \| diff to current
2007-02-09	Ferruccio Guidi	added option -dump to matitac for persistent macro...	blob \| commitdiff \| raw \| diff to current
2007-02-09	Stefano Zacchiroli	Added toggle for enabling/disabling the conversion...	blob \| commitdiff \| raw \| diff to current
2007-02-09	Claudio Sacerdoti...	The ApplyTransformation.txt_of_term function has been...	blob \| commitdiff \| raw \| diff to current
2007-02-08	Claudio Sacerdoti...	If a pretty printed term spans on multiple lines, then...	blob \| commitdiff \| raw \| diff to current
2007-02-08	Claudio Sacerdoti...	Important commit:	blob \| commitdiff \| raw \| diff to current
2007-02-06	Ferruccio Guidi	- Procedural: moved in a directory on its own	blob \| commitdiff \| raw \| diff to current
2007-01-20	Claudio Sacerdoti...	Added new function txt_of_cic_sequent.	blob \| commitdiff \| raw \| diff to current
2006-07-10	Enrico Tassi	- cheanges for the new coercion stuff (including the...	blob \| commitdiff \| raw \| diff to current
2006-04-12	Enrico Tassi	some fixes for whelp macros (concerning pprint...)	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

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

RSS Atom