]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 089bc0f) | 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)
commit0dfad591e92a2c1174313ed7be80da0084b618b3
tree5734bceef6287d2e356e1e26e87039b813e0d019tree | snapshot
parent089bc0fa6a22a163651f417f7f02db822ab0b70ccommit | diff
transcript: very alpha version.
parser for Coq V8 works fine on CoRN contribution scripts.
14 files changed:
components/binaries/Makefile diff | blob | history
components/binaries/transcript/.depend [new file with mode: 0644] blob
components/binaries/transcript/CoRN-2.conf.xml [new file with mode: 0644] blob
components/binaries/transcript/CoRN.conf.xml [new file with mode: 0644] blob
components/binaries/transcript/Makefile [new file with mode: 0644] blob
components/binaries/transcript/engine.ml [new file with mode: 0644] blob
components/binaries/transcript/engine.mli [new file with mode: 0644] blob
components/binaries/transcript/grafite.ml [new file with mode: 0644] blob
components/binaries/transcript/grafite.mli [new file with mode: 0644] blob
components/binaries/transcript/top.ml [new file with mode: 0644] blob
components/binaries/transcript/transcript.conf.xml [new file with mode: 0644] blob
components/binaries/transcript/types.ml [new file with mode: 0644] blob
components/binaries/transcript/v8Lexer.mll [new file with mode: 0644] blob
components/binaries/transcript/v8Parser.mly [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.