matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 28 May 2002 15:55:36 +0000 (15:55 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 28 May 2002 15:55:36 +0000 (15:55 +0000)
commit	7f510b2df638258669d6539861a3f06ed5fab773
tree	ad25143168f4752b1b5069fd3a0b68c5f1c05fb6	tree \| snapshot
parent	9f45f8febfade5e1dca7a022154f2635be2af9b2	commit \| diff

* New operators (Subset, SetEqual and RVarOccurrence) added to MathQL
* New implementation of all the operations. We will have to choose if this
new implementation is better or worst than the previous one.
* Diff and SortBy not implemented yet.

16 files changed:

helm/ocaml/mathql_interpreter/.depend		diff \| blob \| history
helm/ocaml/mathql_interpreter/Makefile		diff \| blob \| history
helm/ocaml/mathql_interpreter/dbconn.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/intersect.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/intersect.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/mathql.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mathql_semantics.ml	[new file with mode: 0644]	blob
helm/ocaml/mathql_interpreter/mqint.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/pattern.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/pattern.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/select.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/select.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/union.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/union.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/use.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/use.mli		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom