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: b8fbccc) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 3 May 2005 13:38:25 +0000 (13:38 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 3 May 2005 13:38:25 +0000 (13:38 +0000)
commit	a268d7377c1d4ddae4229f5844125f827325c78a
tree	ed10149be407c83c787eca6ca32161bb2f03ce30	tree \| snapshot
parent	b8fbccc3b4e92586d5fc704d2d8ca27fdc729adf	commit \| diff

added sqlStatements module (contains all CREATE TABLE/INDEX)

helm/ocaml/cic/.depend		diff \| blob \| history
helm/ocaml/cic_omdoc/.depend		diff \| blob \| history
helm/ocaml/cic_unification/.depend		diff \| blob \| history
helm/ocaml/mathql_generator/.depend		diff \| blob \| history
helm/ocaml/mathql_interpreter/.depend		diff \| blob \| history
helm/ocaml/metadata/.depend		diff \| blob \| history
helm/ocaml/metadata/Makefile		diff \| blob \| history
helm/ocaml/metadata/sqlStatements.ml	[new file with mode: 0644]	blob
helm/ocaml/metadata/sqlStatements.mli	[new file with mode: 0644]	blob
helm/ocaml/tactics/.depend		diff \| blob \| history

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