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

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

2009-05-28	Ferruccio Guidi	- cicInspect: relevant nodes count updated: letin nodes...	blob \| commitdiff \| raw
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-14	Ferruccio Guidi	- Procedural: generation of "exact" is now complete	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-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-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.