matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/whelp/.depend

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

projects / helm.git / commit

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 24 Nov 2005 13:01:31 +0000 (13:01 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 24 Nov 2005 13:01:31 +0000 (13:01 +0000)
commit	6203a9d0d56c7ec7cd11713b5ed56645271154be
tree	135c21bbbe385941689936a48b7cde4583f3f7e6	tree \| snapshot
parent	1b5b2faaee8b16e376ac10d63ef8a03ba14698b1	commit \| diff

split non-logic level of whelp away from metadataQuery to a new module

16 files changed:

helm/ocaml/METAS/meta.helm-cic_disambiguation.src		diff \| blob \| history
helm/ocaml/METAS/meta.helm-tactics.src		diff \| blob \| history
helm/ocaml/METAS/meta.helm-whelp.src	[new file with mode: 0644]	blob
helm/ocaml/Makefile.in		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguate.ml		diff \| blob \| history
helm/ocaml/tactics/eliminationTactics.ml		diff \| blob \| history
helm/ocaml/tactics/fwdSimplTactic.ml		diff \| blob \| history
helm/ocaml/tactics/metadataQuery.ml		diff \| blob \| history
helm/ocaml/tactics/metadataQuery.mli		diff \| blob \| history
helm/ocaml/whelp/.cvsignore	[new file with mode: 0644]	blob
helm/ocaml/whelp/.depend	[new file with mode: 0644]	blob
helm/ocaml/whelp/Makefile	[new file with mode: 0644]	blob
helm/ocaml/whelp/fwdQueries.ml	[new file with mode: 0644]	blob
helm/ocaml/whelp/fwdQueries.mli	[new file with mode: 0644]	blob
helm/ocaml/whelp/whelp.ml	[new file with mode: 0644]	blob
helm/ocaml/whelp/whelp.mli	[new file with mode: 0644]	blob

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