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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: a86e50c) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 28 May 2002 17:48:08 +0000 (17:48 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 28 May 2002 17:48:08 +0000 (17:48 +0000)
commit	1cfcea66d7394a785ec439cd6b03497b276918c4
tree	da2f05bc90407949defbe849625e79d99e24399b	tree \| snapshot
parent	a86e50c2f080bd288d1a37b27fd4d0ea3044c5df	commit \| diff

new MathQL syntax

18 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/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/mathql.ml	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mathql_semantics.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		diff \| blob \| history
helm/ocaml/mathql_interpreter/sortedby.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/use.mli		diff \| blob \| history

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