]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18a8954) | patch
transcript: very alpha version.
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 15 Nov 2006 14:10:33 +0000 (14:10 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 15 Nov 2006 14:10:33 +0000 (14:10 +0000)
commitc5e25191f05bb2662fc738bfb2742eb03b941510
tree2ebd1cc3c2eb7baff16a79d53d06612db3bb3f56tree | snapshot
parent18a895438260a82a83608c14f1ab99870962ba26commit | diff
transcript: very alpha version.
parser for Coq V8 works fine on CoRN contribution scripts.
14 files changed:
helm/software/components/binaries/Makefile diff | blob | history
helm/software/components/binaries/transcript/.depend [new file with mode: 0644] blob
helm/software/components/binaries/transcript/CoRN-2.conf.xml [new file with mode: 0644] blob
helm/software/components/binaries/transcript/CoRN.conf.xml [new file with mode: 0644] blob
helm/software/components/binaries/transcript/Makefile [new file with mode: 0644] blob
helm/software/components/binaries/transcript/engine.ml [new file with mode: 0644] blob
helm/software/components/binaries/transcript/engine.mli [new file with mode: 0644] blob
helm/software/components/binaries/transcript/grafite.ml [new file with mode: 0644] blob
helm/software/components/binaries/transcript/grafite.mli [new file with mode: 0644] blob
helm/software/components/binaries/transcript/top.ml [new file with mode: 0644] blob
helm/software/components/binaries/transcript/transcript.conf.xml [new file with mode: 0644] blob
helm/software/components/binaries/transcript/types.ml [new file with mode: 0644] blob
helm/software/components/binaries/transcript/v8Lexer.mll [new file with mode: 0644] blob
helm/software/components/binaries/transcript/v8Parser.mly [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.