]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2122459) | patch
- the mathql interpreter is not helm-dependent any more
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 29 Jul 2003 11:41:25 +0000 (11:41 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 29 Jul 2003 11:41:25 +0000 (11:41 +0000)
commit1c7fb836e2af4f2f3d18afd0396701f2094265ff
treeb96a02bf15bb4e5418ea62681e4496f3e33f35bctree | snapshot
parent2122459392680c4b53e32a2cf1d4792405f118cecommit | diff
- the mathql interpreter is not helm-dependent any more
- fixed a bug in the "match conclusion" query of the search engine
- gTopLevel/Makefile improved
14 files changed:
helm/gTopLevel/Makefile diff | blob | history
helm/mathql_db_map.txt [new file with mode: 0644] blob
helm/ocaml/mathql/mQueryUtil.ml diff | blob | history
helm/ocaml/mathql/mQueryUtil.mli diff | blob | history
helm/ocaml/mathql_interpreter/.depend diff | blob | history
helm/ocaml/mathql_interpreter/Makefile diff | blob | history
helm/ocaml/mathql_interpreter/mQIConn.ml diff | blob | history
helm/ocaml/mathql_interpreter/mQIConn.mli diff | blob | history
helm/ocaml/mathql_interpreter/mQIMap.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mQIMap.mli [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mQIPostgres.ml diff | blob | history
helm/ocaml/mathql_interpreter/mQIPostgres.mli diff | blob | history
helm/ocaml/mathql_interpreter/mQIProperty.ml diff | blob | history
helm/searchEngine/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.