]> matita.cs.unibo.it Git - helm.git/commit
test_lexer and test_parser compiled by default
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Jun 2005 15:54:43 +0000 (15:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Jun 2005 15:54:43 +0000 (15:54 +0000)
commitab95dcf11a4784bfe3ce435d1e3c1a904148a1a3
tree7f3096e73de3cd99bda4e09f4f6e9df84ee2fa6e
parent8aa30d200433c2518b42f4b25d4b429e4cf44372
test_lexer and test_parser compiled by default
helm/ocaml/cic_disambiguation/Makefile