]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b12a46d) | patch
transcript: now we can generate procedural output
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 22 Jul 2008 12:43:10 +0000 (12:43 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 22 Jul 2008 12:43:10 +0000 (12:43 +0000)
commit298868e07163c21863d542136733d24bfbec2482
treeddc10136f5bc8782df6f4f5383d1f4bd78d6f596tree | snapshot
parentb12a46d53cf80d40b253ca5dd495397c5c0b4287commit | diff
transcript: now we can generate procedural output
CoRN-Procedural: development started:
                 we aim at the procedural reconstruction of CoRN
13 files changed:
helm/software/components/binaries/transcript/CoRN.conf.xml [deleted file] 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/grafite.ml diff | blob | history
helm/software/components/binaries/transcript/grafite.mli diff | blob | history
helm/software/components/binaries/transcript/top.ml diff | blob | history
helm/software/components/binaries/transcript/transcript.conf.xml diff | blob | history
helm/software/components/binaries/transcript/types.ml diff | blob | history
helm/software/matita/contribs/CoRN-Procedural/CoRN.conf.xml [new file with mode: 0644] blob
helm/software/matita/contribs/CoRN-Procedural/Makefile [new file with mode: 0644] blob
helm/software/matita/contribs/CoRN-Procedural/root [new file with mode: 0644] blob
helm/software/matita/contribs/CoRN-Procedural/transcript.conf.xml [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.