]> matita.cs.unibo.it Git - helm.git/commit
A parser (and a scanner) to import "~C" files into Matita.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 12 Dec 2008 14:41:18 +0000 (14:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 12 Dec 2008 14:41:18 +0000 (14:41 +0000)
commit46130301df20269f9b30ed5d61fdd5d2dedb2c23
tree958e22d7ac8bfb037c69d82c8c94937c75756ac2
parent8cefaf42402a475f7a541cf492cbac04b5d02c16
A parser (and a scanner) to import "~C" files into Matita.
helm/software/matita/contribs/assembly/parser/build.bat [new file with mode: 0755]
helm/software/matita/contribs/assembly/parser/build.sh [new file with mode: 0755]
helm/software/matita/contribs/assembly/parser/parser.y [new file with mode: 0755]
helm/software/matita/contribs/assembly/parser/scanner.flex [new file with mode: 0755]
helm/software/matita/contribs/assembly/parser/test.c [new file with mode: 0755]