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

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

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

2009-06-05	Ferruccio Guidi	- Procedural convertible rewrites in the conclusion...	blob \| commitdiff \| raw
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
2008-09-05	Ferruccio Guidi	transcript: we now check for non-existing objects	blob \| commitdiff \| raw \| diff to current
2008-09-04	Ferruccio Guidi	transcript: improved debuugging facilities	blob \| commitdiff \| raw \| diff to current
2008-08-25	Ferruccio Guidi	transcript: bug fix in the generation of axioms	blob \| commitdiff \| raw \| diff to current
2008-08-23	Ferruccio Guidi	Procedural: explicit flavour specification for constant...	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-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
2008-06-24	Enrico Tassi	notation factored, coercion commant taking terms and...	blob \| commitdiff \| raw \| diff to current
2007-08-30	Claudio Sacerdoti...	Coercions are now generalized to the general form	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
2006-12-13	Ferruccio Guidi	- transcript: patched to generate aliases instead of...	blob \| commitdiff \| raw \| diff to current
2006-12-12	Ferruccio Guidi	we parametrized CicNotationPt.obj on 'term	blob \| commitdiff \| raw \| diff to current
2006-12-12	Ferruccio Guidi	we started the infrastructure for the procedural render...	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: 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