]> matita.cs.unibo.it Git - helm.git/commit
- New interface for the MathQL interpreter (1.3 version)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 23 Apr 2003 11:05:32 +0000 (11:05 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 23 Apr 2003 11:05:32 +0000 (11:05 +0000)
commita69b6f01bfeda05c431325a5defb5c5592427791
treed37399d5d5a4339cae6fa06220d6e62690582d51
parent718bc0ea70defa418c23850dbb8f2850b0c3a542
- New interface for the MathQL interpreter (1.3 version)
- Two toplevels committed in ocaml/mathql_test (new directory)
helm/gTopLevel/gTopLevel.ml
helm/ocaml/Makefile.in
helm/ocaml/mquery_generator/mQueryGenerator.ml
helm/searchEngine/searchEngine.ml