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

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

author	lzingare <??>
	Fri, 18 May 2007 14:45:00 +0000 (14:45 +0000)
committer	lzingare <??>
	Fri, 18 May 2007 14:45:00 +0000 (14:45 +0000)
commit	15417a6cd2d1ce39afc67d36436864978ec7a8e2
tree	e01ef76e3b570077411722b71abd654f5af9874b	tree \| snapshot
parent	d52416a2c32c74f28ff0ea2f4bc076e6d3ee30f7	commit \| diff

added alternative implementation for hMysql relying
on sqlite3.

36 files changed:

components/METAS/meta.helm-hmysql.src		diff \| blob \| history
components/binaries/extractor/extractor.ml		diff \| blob \| history
components/binaries/saturate/saturate_main.ml		diff \| blob \| history
components/cic_disambiguation/disambiguate.ml		diff \| blob \| history
components/cic_disambiguation/disambiguate.mli		diff \| blob \| history
components/hmysql/.depend		diff \| blob \| history
components/hmysql/.depend.opt		diff \| blob \| history
components/hmysql/Makefile		diff \| blob \| history
components/hmysql/hMysql.ml		diff \| blob \| history
components/hmysql/hMysql.mli	[deleted file]	blob \| history
components/hmysql/hSql.ml	[new symlink]	blob
components/hmysql/hSql.mli	[new file with mode: 0644]	blob
components/hmysql/hSqlite3.ml	[new file with mode: 0644]	blob
components/library/libraryClean.ml		diff \| blob \| history
components/library/libraryDb.ml		diff \| blob \| history
components/library/libraryDb.mli		diff \| blob \| history
components/metadata/metadataConstraints.ml		diff \| blob \| history
components/metadata/metadataConstraints.mli		diff \| blob \| history
components/metadata/metadataDb.ml		diff \| blob \| history
components/metadata/metadataDb.mli		diff \| blob \| history
components/metadata/metadataDeps.ml		diff \| blob \| history
components/metadata/metadataDeps.mli		diff \| blob \| history
components/metadata/sqlStatements.ml		diff \| blob \| history
components/tactics/auto.ml		diff \| blob \| history
components/tactics/auto.mli		diff \| blob \| history
components/tactics/autoTactic.ml		diff \| blob \| history
components/tactics/autoTactic.mli		diff \| blob \| history
components/tactics/declarative.mli		diff \| blob \| history
components/tactics/fwdSimplTactic.mli		diff \| blob \| history
components/tactics/metadataQuery.ml		diff \| blob \| history
components/tactics/metadataQuery.mli		diff \| blob \| history
components/tactics/tactics.mli		diff \| blob \| history
components/whelp/fwdQueries.ml		diff \| blob \| history
components/whelp/fwdQueries.mli		diff \| blob \| history
components/whelp/whelp.ml		diff \| blob \| history
components/whelp/whelp.mli		diff \| blob \| history

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

RSS Atom