matita.cs.unibo.it Git - helm.git/history - helm/software/components/binaries/transcript/engine.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/binaries/transcript/engine.ml

[helm.git] / helm / software / components / binaries / transcript / engine.ml

2009-06-11	Ferruccio Guidi	- some depend files fixed	blob \| commitdiff \| raw
2009-06-10	Ferruccio Guidi	- library/list/list.ma: unused code commented	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-05	Ferruccio Guidi	- Procedural convertible rewrites in the conclusion...	blob \| commitdiff \| raw \| diff to current
2009-05-28	Ferruccio Guidi	- cicInspect: relevant nodes count updated: letin nodes...	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-22	Ferruccio Guidi	- transcript: we have now two styles of mma's from...	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-16	Ferruccio Guidi	Procedural: we corrected two errors about the handling...	blob \| commitdiff \| raw \| diff to current
2009-04-15	Ferruccio Guidi	- transcript: bugfix	blob \| commitdiff \| raw \| diff to current
2009-04-14	Ferruccio Guidi	- Procedural: generation of "exact" is now complete	blob \| commitdiff \| raw \| diff to current
2008-11-25	Ferruccio Guidi	cicUtil: we moved here pp_term from proceduralHelpers	blob \| commitdiff \| raw \| diff to current
2008-09-05	Ferruccio Guidi	transcript: we now check for non-existing objects	blob \| commitdiff \| raw \| diff to current
2008-08-23	Ferruccio Guidi	Procedural: explicit flavour specification for constant...	blob \| commitdiff \| raw \| diff to current
2008-07-22	Ferruccio Guidi	matitadep: we now handle the inline of an uri, we remov...	blob \| commitdiff \| raw \| diff to current
2008-07-22	Ferruccio Guidi	transcript: now we can generate procedural output	blob \| commitdiff \| raw \| diff to current
2006-12-13	Ferruccio Guidi	- transcript: patched to generate aliases instead of...	blob \| commitdiff \| raw \| diff to current
2006-12-05	Ferruccio Guidi	- components: composed coercions mus be generated with...	blob \| commitdiff \| raw \| diff to current
2006-11-29	Ferruccio Guidi	- decompose tactic: decomposable constants are now...	blob \| commitdiff \| raw \| diff to current
2006-11-17	Ferruccio Guidi	helm_registry: added the pair unmarshaller	blob \| commitdiff \| raw \| diff to current
2006-11-16	Ferruccio Guidi	- transcript: patched to generate CoRN_notation.ma...	blob \| commitdiff \| raw \| diff to current
2006-11-16	Ferruccio Guidi	- transcript: now outputs includes and coercions correctly	blob \| commitdiff \| raw \| diff to current
2006-11-15	Ferruccio Guidi	transcript updated	blob \| commitdiff \| raw \| diff to current
2006-11-15	Ferruccio Guidi	transcript: very alpha version.	blob \| commitdiff \| raw \| diff to current

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

RSS Atom