]> matita.cs.unibo.it Git - helm.git/commit
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)
commit0dfad591e92a2c1174313ed7be80da0084b618b3
tree5734bceef6287d2e356e1e26e87039b813e0d019
parent089bc0fa6a22a163651f417f7f02db822ab0b70c
transcript: very alpha version.
parser for Coq V8 works fine on CoRN contribution scripts.
14 files changed:
components/binaries/Makefile
components/binaries/transcript/.depend [new file with mode: 0644]
components/binaries/transcript/CoRN-2.conf.xml [new file with mode: 0644]
components/binaries/transcript/CoRN.conf.xml [new file with mode: 0644]
components/binaries/transcript/Makefile [new file with mode: 0644]
components/binaries/transcript/engine.ml [new file with mode: 0644]
components/binaries/transcript/engine.mli [new file with mode: 0644]
components/binaries/transcript/grafite.ml [new file with mode: 0644]
components/binaries/transcript/grafite.mli [new file with mode: 0644]
components/binaries/transcript/top.ml [new file with mode: 0644]
components/binaries/transcript/transcript.conf.xml [new file with mode: 0644]
components/binaries/transcript/types.ml [new file with mode: 0644]
components/binaries/transcript/v8Lexer.mll [new file with mode: 0644]
components/binaries/transcript/v8Parser.mly [new file with mode: 0644]