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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 25 Mar 2009 20:41:04 +0000 (20:41 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 25 Mar 2009 20:41:04 +0000 (20:41 +0000)
commit	b225178112c2c5ef1a717ac7e647d854d94b2e52
tree	7d1945128a27d307262877fe1cb1043db8c7778a	tree \| snapshot
parent	1439ea4beb39b14f8dbe3be5223f9042e0862ad3	commit \| diff

new tactics are almost ready

103 files changed:

helm/software/components/METAS/meta.helm-grafite.src		diff \| blob \| history
helm/software/components/METAS/meta.helm-grafite_engine.src		diff \| blob \| history
helm/software/components/METAS/meta.helm-ng_tactics.src	[new file with mode: 0644]	blob
helm/software/components/Makefile		diff \| blob \| history
helm/software/components/acic_content/.depend		diff \| blob \| history
helm/software/components/acic_content/.depend.opt		diff \| blob \| history
helm/software/components/acic_procedural/.depend		diff \| blob \| history
helm/software/components/acic_procedural/.depend.opt		diff \| blob \| history
helm/software/components/binaries/extractor/.depend		diff \| blob \| history
helm/software/components/binaries/extractor/.depend.opt		diff \| blob \| history
helm/software/components/binaries/table_creator/.depend		diff \| blob \| history
helm/software/components/binaries/table_creator/.depend.opt		diff \| blob \| history
helm/software/components/binaries/transcript/.depend		diff \| blob \| history
helm/software/components/binaries/transcript/.depend.opt		diff \| blob \| history
helm/software/components/cic/.depend		diff \| blob \| history
helm/software/components/cic/.depend.opt		diff \| blob \| history
helm/software/components/cic_acic/.depend		diff \| blob \| history
helm/software/components/cic_acic/.depend.opt		diff \| blob \| history
helm/software/components/cic_disambiguation/.depend		diff \| blob \| history
helm/software/components/cic_disambiguation/.depend.opt		diff \| blob \| history
helm/software/components/cic_disambiguation/cicDisambiguate.ml		diff \| blob \| history
helm/software/components/cic_disambiguation/cicDisambiguate.mli		diff \| blob \| history
helm/software/components/cic_exportation/.depend		diff \| blob \| history
helm/software/components/cic_exportation/.depend.opt		diff \| blob \| history
helm/software/components/cic_proof_checking/.depend		diff \| blob \| history
helm/software/components/cic_proof_checking/.depend.opt		diff \| blob \| history
helm/software/components/cic_unification/.depend		diff \| blob \| history
helm/software/components/cic_unification/.depend.opt		diff \| blob \| history
helm/software/components/content_pres/.depend		diff \| blob \| history
helm/software/components/content_pres/.depend.opt		diff \| blob \| history
helm/software/components/disambiguation/.depend		diff \| blob \| history
helm/software/components/disambiguation/.depend.opt		diff \| blob \| history
helm/software/components/disambiguation/disambiguate.ml		diff \| blob \| history
helm/software/components/disambiguation/disambiguate.mli		diff \| blob \| history
helm/software/components/disambiguation/multiPassDisambiguator.ml		diff \| blob \| history
helm/software/components/disambiguation/multiPassDisambiguator.mli		diff \| blob \| history
helm/software/components/extlib/.depend		diff \| blob \| history
helm/software/components/extlib/.depend.opt		diff \| blob \| history
helm/software/components/getter/.depend		diff \| blob \| history
helm/software/components/getter/.depend.opt		diff \| blob \| history
helm/software/components/grafite/.depend		diff \| blob \| history
helm/software/components/grafite/.depend.opt		diff \| blob \| history
helm/software/components/grafite/grafiteAst.ml		diff \| blob \| history
helm/software/components/grafite/grafiteAstPp.ml		diff \| blob \| history
helm/software/components/grafite/grafiteAstPp.mli		diff \| blob \| history
helm/software/components/grafite_engine/.depend		diff \| blob \| history
helm/software/components/grafite_engine/.depend.opt		diff \| blob \| history
helm/software/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteSync.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteTypes.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteTypes.mli		diff \| blob \| history
helm/software/components/grafite_parser/.depend		diff \| blob \| history
helm/software/components/grafite_parser/.depend.opt		diff \| blob \| history
helm/software/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteDisambiguate.mli		diff \| blob \| history
helm/software/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
helm/software/components/hgdome/.depend		diff \| blob \| history
helm/software/components/hgdome/.depend.opt		diff \| blob \| history
helm/software/components/hmysql/.depend		diff \| blob \| history
helm/software/components/hmysql/.depend.opt		diff \| blob \| history
helm/software/components/lexicon/.depend		diff \| blob \| history
helm/software/components/lexicon/.depend.opt		diff \| blob \| history
helm/software/components/library/.depend		diff \| blob \| history
helm/software/components/library/.depend.opt		diff \| blob \| history
helm/software/components/logger/.depend		diff \| blob \| history
helm/software/components/logger/.depend.opt		diff \| blob \| history
helm/software/components/metadata/.depend		diff \| blob \| history
helm/software/components/metadata/.depend.opt		diff \| blob \| history
helm/software/components/ng_disambiguation/.depend		diff \| blob \| history
helm/software/components/ng_disambiguation/.depend.opt		diff \| blob \| history
helm/software/components/ng_disambiguation/nCicDisambiguate.ml		diff \| blob \| history
helm/software/components/ng_disambiguation/nCicDisambiguate.mli		diff \| blob \| history
helm/software/components/ng_kernel/.depend		diff \| blob \| history
helm/software/components/ng_kernel/.depend.opt		diff \| blob \| history
helm/software/components/ng_kernel/nCicPp.ml		diff \| blob \| history
helm/software/components/ng_refiner/.depend		diff \| blob \| history
helm/software/components/ng_refiner/.depend.opt		diff \| blob \| history
helm/software/components/ng_refiner/nCicRefiner.ml		diff \| blob \| history
helm/software/components/ng_tactics/.depend	[new file with mode: 0644]	blob
helm/software/components/ng_tactics/.depend.opt	[new file with mode: 0644]	blob
helm/software/components/ng_tactics/Makefile	[new file with mode: 0644]	blob
helm/software/components/ng_tactics/nTactics.ml	[new file with mode: 0644]	blob
helm/software/components/ng_tactics/nTactics.mli	[new file with mode: 0644]	blob
helm/software/components/registry/.depend		diff \| blob \| history
helm/software/components/registry/.depend.opt		diff \| blob \| history
helm/software/components/syntax_extensions/.depend		diff \| blob \| history
helm/software/components/syntax_extensions/.depend.opt		diff \| blob \| history
helm/software/components/tactics/.depend		diff \| blob \| history
helm/software/components/tactics/.depend.opt		diff \| blob \| history
helm/software/components/tactics/continuationals.ml		diff \| blob \| history
helm/software/components/tactics/continuationals.mli		diff \| blob \| history
helm/software/components/thread/.depend		diff \| blob \| history
helm/software/components/thread/.depend.opt		diff \| blob \| history
helm/software/components/tptp_grafite/.depend		diff \| blob \| history
helm/software/components/tptp_grafite/.depend.opt		diff \| blob \| history
helm/software/components/urimanager/.depend		diff \| blob \| history
helm/software/components/urimanager/.depend.opt		diff \| blob \| history
helm/software/components/whelp/.depend		diff \| blob \| history
helm/software/components/whelp/.depend.opt		diff \| blob \| history
helm/software/components/xml/.depend		diff \| blob \| history
helm/software/components/xml/.depend.opt		diff \| blob \| history
helm/software/components/xmldiff/.depend		diff \| blob \| history
helm/software/components/xmldiff/.depend.opt		diff \| blob \| history

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

RSS Atom