]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8cefaf4) | patch
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
tree958e22d7ac8bfb037c69d82c8c94937c75756ac2tree | snapshot
parent8cefaf42402a475f7a541cf492cbac04b5d02c16commit | diff
A parser (and a scanner) to import "~C" files into Matita.
helm/software/matita/contribs/assembly/parser/build.bat [new file with mode: 0755] blob
helm/software/matita/contribs/assembly/parser/build.sh [new file with mode: 0755] blob
helm/software/matita/contribs/assembly/parser/parser.y [new file with mode: 0755] blob
helm/software/matita/contribs/assembly/parser/scanner.flex [new file with mode: 0755] blob
helm/software/matita/contribs/assembly/parser/test.c [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.