]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f59e3c5) | patch
mathql query generator interface patched
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 22 May 2003 14:49:52 +0000 (14:49 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 22 May 2003 14:49:52 +0000 (14:49 +0000)
commitcab4eba3c7da115ecc1973d989b321b46835e1eb
treebfb5af177c035230374aa6e49fa19195caf7172dtree | snapshot
parentf59e3c55dde91612a2e8a16335f2a2e9137fde5fcommit | diff
mathql query generator interface patched
14 files changed:
helm/hbugs/tutors/Makefile diff | blob | history
helm/ocaml/META.helm-mathql_generator.src [new file with mode: 0644] blob
helm/ocaml/mathql_generator/.cvsignore [new file with mode: 0644] blob
helm/ocaml/mathql_generator/.depend [new file with mode: 0644] blob
helm/ocaml/mathql_generator/Makefile [new file with mode: 0644] blob
helm/ocaml/mathql_generator/mQueryGenerator.ml [new file with mode: 0644] blob
helm/ocaml/mathql_generator/mQueryGenerator.mli [new file with mode: 0644] blob
helm/ocaml/mathql_generator/mQueryLevels.ml [new file with mode: 0644] blob
helm/ocaml/mathql_generator/mQueryLevels.mli [new file with mode: 0644] blob
helm/ocaml/mathql_generator/mQueryLevels2.ml [new file with mode: 0644] blob
helm/ocaml/mathql_generator/mQueryLevels2.mli [new file with mode: 0644] blob
helm/ocaml/mathql_test/.depend diff | blob | history
helm/ocaml/mathql_test/Makefile diff | blob | history
helm/ocaml/mathql_test/mqgtop.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.