projects / ohcount / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ec1f6e) | patch
Add support for Coq .v files (based on the OCaml parser).
authorGuillaume Melquiond <guillaume.melquiond@gmail.com>
Tue, 24 Apr 2012 14:16:13 +0000 (16:16 +0200)
committerGuillaume Melquiond <guillaume.melquiond@gmail.com>
Tue, 24 Apr 2012 14:16:13 +0000 (16:16 +0200)
commitbfc0e493e8b246520fcadced5bfaee6fdb1aa9c9
treeb1ee298a1f2e533b0b150de025710c8006aa01cdtree | snapshot
parent0ec1f6ece2c491e34981264517b55b3bbd523da5commit | diff
Add support for Coq .v files (based on the OCaml parser).
src/hash/extensions.gperf diff | blob | blame | history
src/hash/languages.gperf diff | blob | blame | history
src/hash/parsers.gperf diff | blob | blame | history
src/languages.h diff | blob | blame | history
src/parsers/coq.rl [new file with mode: 0644] blob
test/detect_files/coq.v [new file with mode: 0644] blob
test/expected_dir/coq.v [new file with mode: 0644] blob
test/src_dir/coq.v [new file with mode: 0644] blob
test/unit/detector_test.h diff | blob | blame | history
test/unit/parser_test.h diff | blob | blame | history
test/unit/parsers/test_coq.h [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.