]> matita.cs.unibo.it Git - helm.git/commit
textual parser fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Sep 2002 17:00:54 +0000 (17:00 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Sep 2002 17:00:54 +0000 (17:00 +0000)
commit691f90554fe985a5ef67a7e82fb684ab10024fac
tree7b05b2b22fe2f15a6cddaaf1be2f70ae999eb42c
parent5a8a7dd777c55a9907699a709760b0616b571919
textual parser fixed
helm/ocaml/cic_textual_parser/cicTextualLexer.mll
helm/ocaml/cic_textual_parser/cicTextualParser.mly
helm/ocaml/cic_textual_parser/cicTextualParser0.ml
helm/ocaml/mathql/.depend
helm/ocaml/mathql/Makefile
helm/ocaml/mathql/mQueryUtil.ml