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

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

author	Andrea Asperti <andrea.asperti@unibo.it>
	Thu, 7 Oct 2010 09:37:01 +0000 (09:37 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Thu, 7 Oct 2010 09:37:01 +0000 (09:37 +0000)
commit	0fde70bd19b8fdfa72b807b9713a02ad1bd91b5b
tree	1e4a0bbeb78424433c59aaa61dfda4e2c90901ff	tree \| snapshot
parent	f61ffe97078aab1e47ee1b7f212e707b0412e77e	commit \| diff

acic_procedural and tactics removed

159 files changed:

matita/components/METAS/meta.helm-acic_procedural.src	[deleted file]	blob \| history
matita/components/METAS/meta.helm-cic_disambiguation.src	[deleted file]	blob \| history
matita/components/METAS/meta.helm-grafite_engine.src		diff \| blob \| history
matita/components/METAS/meta.helm-ng_tactics.src		diff \| blob \| history
matita/components/METAS/meta.helm-tactics.src	[deleted file]	blob \| history
matita/components/METAS/meta.helm-tptp_grafite.src	[deleted file]	blob \| history
matita/components/Makefile		diff \| blob \| history
matita/components/acic_procedural/.depend	[deleted file]	blob \| history
matita/components/acic_procedural/.depend.opt	[deleted file]	blob \| history
matita/components/acic_procedural/Makefile	[deleted file]	blob \| history
matita/components/acic_procedural/acic2Procedural.ml	[deleted file]	blob \| history
matita/components/acic_procedural/acic2Procedural.mli	[deleted file]	blob \| history
matita/components/acic_procedural/procedural1.ml	[deleted file]	blob \| history
matita/components/acic_procedural/procedural1.mli	[deleted file]	blob \| history
matita/components/acic_procedural/procedural2.ml	[deleted file]	blob \| history
matita/components/acic_procedural/procedural2.mli	[deleted file]	blob \| history
matita/components/acic_procedural/proceduralClassify.ml	[deleted file]	blob \| history
matita/components/acic_procedural/proceduralClassify.mli	[deleted file]	blob \| history
matita/components/acic_procedural/proceduralConversion.ml	[deleted file]	blob \| history
matita/components/acic_procedural/proceduralConversion.mli	[deleted file]	blob \| history
matita/components/acic_procedural/proceduralHelpers.ml	[deleted file]	blob \| history
matita/components/acic_procedural/proceduralHelpers.mli	[deleted file]	blob \| history
matita/components/acic_procedural/proceduralMode.ml	[deleted file]	blob \| history
matita/components/acic_procedural/proceduralMode.mli	[deleted file]	blob \| history
matita/components/acic_procedural/proceduralOptimizer.ml	[deleted file]	blob \| history
matita/components/acic_procedural/proceduralOptimizer.mli	[deleted file]	blob \| history
matita/components/acic_procedural/proceduralTeX.ml	[deleted file]	blob \| history
matita/components/acic_procedural/proceduralTeX.mli	[deleted file]	blob \| history
matita/components/acic_procedural/proceduralTypes.ml	[deleted file]	blob \| history
matita/components/acic_procedural/proceduralTypes.mli	[deleted file]	blob \| history
matita/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteEngine.mli		diff \| blob \| history
matita/components/grafite_engine/grafiteSync.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteSync.mli		diff \| blob \| history
matita/components/grafite_engine/grafiteTypes.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteTypes.mli		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.mli		diff \| blob \| history
matita/components/ng_disambiguation/.depend		diff \| blob \| history
matita/components/ng_tactics/.depend		diff \| blob \| history
matita/components/ng_tactics/.depend.opt		diff \| blob \| history
matita/components/ng_tactics/Makefile		diff \| blob \| history
matita/components/ng_tactics/continuationals.ml	[new file with mode: 0644]	blob
matita/components/ng_tactics/continuationals.mli	[new file with mode: 0644]	blob
matita/components/tactics/.depend	[deleted file]	blob \| history
matita/components/tactics/.depend.opt	[deleted file]	blob \| history
matita/components/tactics/Makefile	[deleted file]	blob \| history
matita/components/tactics/auto.ml	[deleted file]	blob \| history
matita/components/tactics/auto.mli	[deleted file]	blob \| history
matita/components/tactics/autoCache.ml	[deleted file]	blob \| history
matita/components/tactics/autoCache.mli	[deleted file]	blob \| history
matita/components/tactics/autoTypes.ml	[deleted file]	blob \| history
matita/components/tactics/autoTypes.mli	[deleted file]	blob \| history
matita/components/tactics/automationCache.ml	[deleted file]	blob \| history
matita/components/tactics/automationCache.mli	[deleted file]	blob \| history
matita/components/tactics/closeCoercionGraph.ml	[deleted file]	blob \| history
matita/components/tactics/closeCoercionGraph.mli	[deleted file]	blob \| history
matita/components/tactics/compose.ml	[deleted file]	blob \| history
matita/components/tactics/compose.mli	[deleted file]	blob \| history
matita/components/tactics/continuationals.ml	[deleted file]	blob \| history
matita/components/tactics/continuationals.mli	[deleted file]	blob \| history
matita/components/tactics/declarative.ml	[deleted file]	blob \| history
matita/components/tactics/declarative.mli	[deleted file]	blob \| history
matita/components/tactics/destructTactic.ml	[deleted file]	blob \| history
matita/components/tactics/destructTactic.mli	[deleted file]	blob \| history
matita/components/tactics/doc/Makefile	[deleted file]	blob \| history
matita/components/tactics/doc/body.tex	[deleted file]	blob \| history
matita/components/tactics/doc/infernce.sty	[deleted file]	blob \| history
matita/components/tactics/doc/ligature.sty	[deleted file]	blob \| history
matita/components/tactics/doc/main.tex	[deleted file]	blob \| history
matita/components/tactics/doc/reserved.sty	[deleted file]	blob \| history
matita/components/tactics/doc/semantic.sty	[deleted file]	blob \| history
matita/components/tactics/doc/shrthand.sty	[deleted file]	blob \| history
matita/components/tactics/doc/tdiagram.sty	[deleted file]	blob \| history
matita/components/tactics/eliminationTactics.ml	[deleted file]	blob \| history
matita/components/tactics/eliminationTactics.mli	[deleted file]	blob \| history
matita/components/tactics/equalityTactics.ml	[deleted file]	blob \| history
matita/components/tactics/equalityTactics.mli	[deleted file]	blob \| history
matita/components/tactics/fourier.ml	[deleted file]	blob \| history
matita/components/tactics/fourier.mli	[deleted file]	blob \| history
matita/components/tactics/fourierR.ml	[deleted file]	blob \| history
matita/components/tactics/fourierR.mli	[deleted file]	blob \| history
matita/components/tactics/fwdSimplTactic.ml	[deleted file]	blob \| history
matita/components/tactics/fwdSimplTactic.mli	[deleted file]	blob \| history
matita/components/tactics/hashtbl_equiv.ml	[deleted file]	blob \| history
matita/components/tactics/hashtbl_equiv.mli	[deleted file]	blob \| history
matita/components/tactics/history.ml	[deleted file]	blob \| history
matita/components/tactics/history.mli	[deleted file]	blob \| history
matita/components/tactics/introductionTactics.ml	[deleted file]	blob \| history
matita/components/tactics/introductionTactics.mli	[deleted file]	blob \| history
matita/components/tactics/inversion.ml	[deleted file]	blob \| history
matita/components/tactics/inversion.mli	[deleted file]	blob \| history
matita/components/tactics/inversion_principle.ml	[deleted file]	blob \| history
matita/components/tactics/inversion_principle.mli	[deleted file]	blob \| history
matita/components/tactics/metadataQuery.ml	[deleted file]	blob \| history
matita/components/tactics/metadataQuery.mli	[deleted file]	blob \| history
matita/components/tactics/negationTactics.ml	[deleted file]	blob \| history
matita/components/tactics/negationTactics.mli	[deleted file]	blob \| history
matita/components/tactics/paramodulation/.depend	[deleted file]	blob \| history
matita/components/tactics/paramodulation/Makefile	[deleted file]	blob \| history
matita/components/tactics/paramodulation/README	[deleted file]	blob \| history
matita/components/tactics/paramodulation/equality.ml	[deleted file]	blob \| history
matita/components/tactics/paramodulation/equality.mli	[deleted file]	blob \| history
matita/components/tactics/paramodulation/equality_indexing.ml	[deleted file]	blob \| history
matita/components/tactics/paramodulation/equality_indexing.mli	[deleted file]	blob \| history
matita/components/tactics/paramodulation/founif.ml	[deleted file]	blob \| history
matita/components/tactics/paramodulation/founif.mli	[deleted file]	blob \| history
matita/components/tactics/paramodulation/indexing.ml	[deleted file]	blob \| history
matita/components/tactics/paramodulation/indexing.mli	[deleted file]	blob \| history
matita/components/tactics/paramodulation/saturation.ml	[deleted file]	blob \| history
matita/components/tactics/paramodulation/saturation.mli	[deleted file]	blob \| history
matita/components/tactics/paramodulation/subst.ml	[deleted file]	blob \| history
matita/components/tactics/paramodulation/subst.mli	[deleted file]	blob \| history
matita/components/tactics/paramodulation/test_indexing.ml	[deleted file]	blob \| history
matita/components/tactics/paramodulation/utils.ml	[deleted file]	blob \| history
matita/components/tactics/paramodulation/utils.mli	[deleted file]	blob \| history
matita/components/tactics/primitiveTactics.ml	[deleted file]	blob \| history
matita/components/tactics/primitiveTactics.mli	[deleted file]	blob \| history
matita/components/tactics/proofEngineHelpers.ml	[deleted file]	blob \| history
matita/components/tactics/proofEngineHelpers.mli	[deleted file]	blob \| history
matita/components/tactics/proofEngineReduction.ml	[deleted file]	blob \| history
matita/components/tactics/proofEngineReduction.mli	[deleted file]	blob \| history
matita/components/tactics/proofEngineStructuralRules.ml	[deleted file]	blob \| history
matita/components/tactics/proofEngineStructuralRules.mli	[deleted file]	blob \| history
matita/components/tactics/proofEngineTypes.ml	[deleted file]	blob \| history
matita/components/tactics/proofEngineTypes.mli	[deleted file]	blob \| history
matita/components/tactics/reductionTactics.ml	[deleted file]	blob \| history
matita/components/tactics/reductionTactics.mli	[deleted file]	blob \| history
matita/components/tactics/ring.ml	[deleted file]	blob \| history
matita/components/tactics/ring.mli	[deleted file]	blob \| history
matita/components/tactics/setoids.ml	[deleted file]	blob \| history
matita/components/tactics/setoids.mli	[deleted file]	blob \| history
matita/components/tactics/statefulProofEngine.ml	[deleted file]	blob \| history
matita/components/tactics/statefulProofEngine.mli	[deleted file]	blob \| history
matita/components/tactics/tacticChaser.ml	[deleted file]	blob \| history
matita/components/tactics/tacticals.ml	[deleted file]	blob \| history
matita/components/tactics/tacticals.mli	[deleted file]	blob \| history
matita/components/tactics/tactics.ml	[deleted file]	blob \| history
matita/components/tactics/tactics.mli	[deleted file]	blob \| history
matita/components/tactics/universe.ml	[deleted file]	blob \| history
matita/components/tactics/universe.mli	[deleted file]	blob \| history
matita/components/tactics/variousTactics.ml	[deleted file]	blob \| history
matita/components/tactics/variousTactics.mli	[deleted file]	blob \| history
matita/configure.ac		diff \| blob \| history
matita/matita/applyTransformation.ml		diff \| blob \| history
matita/matita/applyTransformation.mli		diff \| blob \| history
matita/matita/gtkmathview.matita.conf.xml.in	[deleted file]	blob \| history
matita/matita/matita.ml		diff \| blob \| history
matita/matita/matitaEngine.ml		diff \| blob \| history
matita/matita/matitaExcPp.ml		diff \| blob \| history
matita/matita/matitaGui.ml		diff \| blob \| history
matita/matita/matitaGuiTypes.mli		diff \| blob \| history
matita/matita/matitaInit.ml		diff \| blob \| history
matita/matita/matitaMathView.ml		diff \| blob \| history
matita/matita/matitaScript.ml		diff \| blob \| history
matita/matita/matitaScript.mli		diff \| blob \| history
matita/matita/matitaTypes.ml		diff \| blob \| history
matita/matita/matitaTypes.mli		diff \| blob \| history
matita/matita/matitacLib.ml		diff \| blob \| history

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

RSS Atom