]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1ecb87) | patch
- Procedural: more support for the Debug inline option (does not work yet)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 9 Jun 2009 17:22:52 +0000 (17:22 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 9 Jun 2009 17:22:52 +0000 (17:22 +0000)
commit14e2489ae86ecb6467fe9a7ba3b742a8d53c47ea
treece4682f1d03de2a4bf6cd6ce4167d7991531b4cbtree | snapshot
parentf1ecb87d00b1f4df3bdc43d5bcf1bda82cb22d7acommit | diff
- Procedural: more support for the Debug inline option (does not work yet)
- transcript: now we can process a given subset so the source files
- termContentPres: bugfix in the syntax of letrec, a space was missing :(

now nat/generic_iter_p.ma is fully reconstructed :) (thx Claudio)
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/acic2Procedural.mli diff | blob | history
helm/software/components/binaries/transcript/engine.ml diff | blob | history
helm/software/components/binaries/transcript/engine.mli diff | blob | history
helm/software/components/binaries/transcript/options.ml diff | blob | history
helm/software/components/binaries/transcript/top.ml diff | blob | history
helm/software/components/content_pres/termContentPres.ml diff | blob | history
helm/software/components/syntax_extensions/.depend diff | blob | history
helm/software/matita/applyTransformation.ml diff | blob | history
helm/software/matita/contribs/procedural/Makefile.common diff | blob | history
helm/software/matita/contribs/procedural/library/library.conf.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.