]> matita.cs.unibo.it Git - helm.git/commit
Back-ported to camlp5 < 5.00.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 27 Nov 2007 16:56:54 +0000 (16:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 27 Nov 2007 16:56:54 +0000 (16:56 +0000)
commit488f49d2ac60fa63e65a19ad8684414266e05ac6
tree2b7aa1d9bdc481d08af05c6cd49635a00d871abe
parent26d1329328f6829985cf2d6f1d67162bb773962a
Back-ported to camlp5 < 5.00.
helm/software/components/content_pres/test_lexer.ml