]> matita.cs.unibo.it Git - helm.git/commit
transcript removed (currently useless)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Oct 2010 15:17:14 +0000 (15:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Oct 2010 15:17:14 +0000 (15:17 +0000)
commit308d9394c3f8c0919427fcc7e00842e105840b4e
tree81a3ac01eeacc7ee5d3753af9e8ed92366f79e96
parentd762b84db61b73b9f5a4f7f4b4a236e4e98500fc
transcript removed (currently useless)
15 files changed:
matita/components/binaries/transcript/.depend [deleted file]
matita/components/binaries/transcript/.depend.opt [deleted file]
matita/components/binaries/transcript/Makefile [deleted file]
matita/components/binaries/transcript/engine.ml [deleted file]
matita/components/binaries/transcript/engine.mli [deleted file]
matita/components/binaries/transcript/gallina8Lexer.mll [deleted file]
matita/components/binaries/transcript/gallina8Parser.mly [deleted file]
matita/components/binaries/transcript/grafite.ml [deleted file]
matita/components/binaries/transcript/grafite.mli [deleted file]
matita/components/binaries/transcript/grafiteLexer.mll [deleted file]
matita/components/binaries/transcript/grafiteParser.mly [deleted file]
matita/components/binaries/transcript/options.ml [deleted file]
matita/components/binaries/transcript/top.ml [deleted file]
matita/components/binaries/transcript/transcript.conf.xml [deleted file]
matita/components/binaries/transcript/types.ml [deleted file]