]> matita.cs.unibo.it Git - helm.git/commit
Ooops. Comments in .mly must be delimited by /* and */
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 16 Apr 2002 11:35:25 +0000 (11:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 16 Apr 2002 11:35:25 +0000 (11:35 +0000)
commite723f4a9cccc54aa03f1857ae5768eb41bcffefd
tree53d61a42738a6666cf7a7383de74e92b478c4ced
parent818c90057de4f3ca2e1971b267549fe146b89b6f
Ooops. Comments in .mly must be delimited by /* and */
helm/ocaml/cic_textual_parser/cicTextualParser.mly