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

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

author	natile <??>
	Mon, 21 Oct 2002 13:48:24 +0000 (13:48 +0000)
committer	natile <??>
	Mon, 21 Oct 2002 13:48:24 +0000 (13:48 +0000)
commit	ba824e867afc3eaf081ed1a1d6526d421242a6a0
tree	9001f6a9fd635aae2c0ecbdb997ce896a9ddf18c	tree \| snapshot
parent	0b2c5757a7d7d87adc0144f790ca5294f9433175	commit \| diff

Merge of the new_mathql branch with the main branch:
- new query language
- new interpreter for the new query language

NOTE: the galax version of the interpreted is not ported yet (and does not compile)

32 files changed:

helm/ocaml/mathql/.depend		diff \| blob \| history
helm/ocaml/mathql/Makefile		diff \| blob \| history
helm/ocaml/mathql/mQueryTLexer.mll		diff \| blob \| history
helm/ocaml/mathql/mQueryTParser.mly		diff \| blob \| history
helm/ocaml/mathql/mQueryUtil.ml		diff \| blob \| history
helm/ocaml/mathql/mQueryUtil.mli		diff \| blob \| history
helm/ocaml/mathql/mathQL.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/.depend		diff \| blob \| history
helm/ocaml/mathql_interpreter/Makefile		diff \| blob \| history
helm/ocaml/mathql_interpreter/context.ml	[new file with mode: 0644]	blob
helm/ocaml/mathql_interpreter/dbconn.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/dbconn.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/diff.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/diff.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/func.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/func.mli		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/meet.ml	[new file with mode: 0644]	blob
helm/ocaml/mathql_interpreter/meet.mli	[new file with mode: 0644]	blob
helm/ocaml/mathql_interpreter/mqint.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mqint.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/pattern.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/relation.ml	[new file with mode: 0644]	blob
helm/ocaml/mathql_interpreter/relation.mli	[new file with mode: 0644]	blob
helm/ocaml/mathql_interpreter/select.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/sortedby.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/sub.ml	[new file with mode: 0644]	blob
helm/ocaml/mathql_interpreter/sub.mli	[new file with mode: 0644]	blob
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

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

RSS Atom