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

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

author	lordi <??>
	Wed, 22 May 2002 17:45:31 +0000 (17:45 +0000)
committer	lordi <??>
	Wed, 22 May 2002 17:45:31 +0000 (17:45 +0000)
commit	8abd42ec1af0d5daef1d026ec550b49b07de8340
tree	0a53efbce3d714317f63df426b194e8d29dafa83	tree \| snapshot
parent	cd7145b8ad4118a9854eaff0feced9352ab87e94	commit \| diff

sortedby implemented and new uri result format

27 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/dbconn.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/diff.ml	[new file with mode: 0644]	blob
helm/ocaml/mathql_interpreter/diff.mli	[new file with mode: 0644]	blob
helm/ocaml/mathql_interpreter/eval.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/eval.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/mathql.ml		diff \| blob \| history
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/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/sortedby.ml	[new file with mode: 0644]	blob
helm/ocaml/mathql_interpreter/sortedby.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
helm/ocaml/mathql_interpreter/use.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/utility.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/utility.mli		diff \| blob \| history

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

RSS Atom