]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/content_pres/content2Procedural.ml
Minor change.
[helm.git] / helm / software / components / content_pres / content2Procedural.ml
2006-12-20 Ferruccio GuidiProcedural: method "Apply" ok in forward style
2006-12-19 Ferruccio GuidiProcedural: "ByInduction" method ok
2006-12-18 Ferruccio GuidiProcedural: some improvements
2006-12-14 Ferruccio Guidicontent2Procedural.ml: "Intros+LetTac" ok
2006-12-13 Ferruccio Guidi- transcript: patched to generate aliases instead of...
2006-12-12 Ferruccio Guidiwe parametrized CicNotationPt.obj on 'term
2006-12-12 Ferruccio Guidiwe started the infrastructure for the procedural render...