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	ac741958783108ff31552e533c853e85c2ebb1c5
tree	7e1cdac57df151b0a5cd09c91aa587daa0a3172b	tree \| snapshot
parent	47988107f44566d53fd5a71fd64a015bbf24a380	commit \| diff

added alternative implementation for hMysql relying
on sqlite3.

36 files changed:

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

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

RSS Atom