]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d436be) | patch
First very-very-very-very-alfa release of a MathQL Interpreter implemented
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 May 2002 17:26:44 +0000 (17:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 May 2002 17:26:44 +0000 (17:26 +0000)
commit6a1d05b388683befc860b48b4f2bbaf42f58a112
treeabe86715ec54e667aae95b10fa08d51e6ca263b3tree | snapshot
parent1d436be30286538d0ed824f53f2700b4fcd1bcbecommit | diff
First very-very-very-very-alfa release of a MathQL Interpreter implemented
on top of RDF-Suite.
27 files changed:
helm/ocaml/.cvsignore diff | blob | history
helm/ocaml/META.helm-mathql_interpreter.src [new file with mode: 0644] blob
helm/ocaml/Makefile.in diff | blob | history
helm/ocaml/mathql_interpreter/.cvsignore [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/.depend [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/Makefile [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/dbconn.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/dbconn.mli [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/eval.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/eval.mli [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/func.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/func.mli [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/intersect.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/intersect.mli [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mathql.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mqint.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mqint.mli [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/pattern.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/pattern.mli [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/select.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/select.mli [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/union.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/union.mli [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/use.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/use.mli [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/utility.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/utility.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.