]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a537ad1) | patch
The two lexers now raise CicTextualParser0.LexerFailure instead of
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 22 Apr 2003 10:17:04 +0000 (10:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 22 Apr 2003 10:17:04 +0000 (10:17 +0000)
commit87218276a42635aad90a91757d431a9cb61983a4
tree8dc1c355e3273978ae8a6ff3e26b293b44b0f1b1tree | snapshot
parenta537ad12d57d10498d9b572290f6050dece06b0acommit | diff
The two lexers now raise CicTextualParser0.LexerFailure instead of
Failure "int_of_string". Easier to catch.
helm/ocaml/cic_textual_parser/cicTextualLexer.mll diff | blob | history
helm/ocaml/cic_textual_parser/cicTextualParser0.ml diff | blob | history
helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.