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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 1 Jul 2002 11:34:24 +0000 (11:34 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 1 Jul 2002 11:34:24 +0000 (11:34 +0000)
commit	dec50888f98015c937283acc14e2ffceccc04a11
tree	b3614ca6087f360f5051d7034565cb4a3df58752	tree \| snapshot
parent	b89599c60d93bfc05dc15d6e22348fcc87fa722f	commit \| diff

mathQL modified, stderr corrected to stdout im mathql_interpreter,
new lavel assignment procedure in mQueryGenerator (uses degrees),
textual interface for mQueryGenerator added

17 files changed:

helm/gTopLevel/gTopLevel.ml		diff \| blob \| history
helm/gTopLevel/mQueryGenerator.ml		diff \| blob \| history
helm/gTopLevel/mQueryGenerator.mli		diff \| blob \| history
helm/gTopLevel/topLevel/.depend	[new file with mode: 0644]	blob
helm/gTopLevel/topLevel/Makefile	[new file with mode: 0644]	blob
helm/gTopLevel/topLevel/Readme	[new file with mode: 0644]	blob
helm/gTopLevel/topLevel/topLevel.ml	[new file with mode: 0644]	blob
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/diff.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/intersect.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mqint.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/select.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/sortedby.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/union.ml		diff \| blob \| history

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

RSS Atom