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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 27 Sep 2019 14:52:38 +0000 (16:52 +0200)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 27 Sep 2019 14:52:38 +0000 (16:52 +0200)
commit	5b5dca0c118dfbe3ba8f0514ef07549544eb7810
tree	81184a7eed48c35019b0c42f18b76441edae9c4b	tree \| snapshot
parent	f00a612006ac05f49a42ab507a95d3298bc1457a	commit \| diff
parent	4112b9f87a555bfc4c3cd06bae652cd2382cad8b	commit \| diff

Merge branch 'declarative' into matita-lablgtk3

54 files changed:

matita/components/content/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/content/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/content_pres/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/content_pres/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/disambiguation/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/disambiguation/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/extlib/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/extlib/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/getter/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/getter/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/grafite/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/grafite/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/grafite/grafiteAstPp.ml	diff1 \|	diff2 \|	blob \| history
matita/components/grafite_engine/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/grafite_engine/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/grafite_engine/grafiteEngine.ml	diff1 \|	diff2 \|	blob \| history
matita/components/grafite_parser/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/grafite_parser/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/library/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/library/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/logger/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/logger/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_cic_content/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_cic_content/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_disambiguation/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_disambiguation/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_extraction/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_extraction/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_extraction/mlutil.ml	diff1 \|	diff2 \|	blob \| history
matita/components/ng_kernel/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_kernel/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_library/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_library/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_paramodulation/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_paramodulation/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_refiner/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_refiner/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_tactics/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_tactics/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_tactics/continuationals.ml	diff1 \|	diff2 \|	blob \| history
matita/components/ng_tactics/declarative.ml	\|	diff2 \|	blob \| history
matita/components/ng_tactics/nTacStatus.ml	diff1 \|	diff2 \|	blob \| history
matita/components/ng_tactics/nTactics.ml	diff1 \|	diff2 \|	blob \| history
matita/components/ng_tactics/nnAuto.ml	diff1 \|	diff2 \|	blob \| history
matita/components/registry/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/registry/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/syntax_extensions/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/thread/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/thread/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/xml/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/xml/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/matita/applyTransformation.ml	diff1 \|	diff2 \|	blob \| history
matita/matita/matitaEngine.ml	diff1 \|	diff2 \|	blob \| history
matita/matita/matitaGui.ml	diff1 \|	diff2 \|	blob \| history

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

RSS Atom

matita/components/content/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/content/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/content_pres/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/content_pres/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/disambiguation/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/disambiguation/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/extlib/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/extlib/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/getter/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/getter/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/grafite/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/grafite/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/grafite/grafiteAstPp.ml	diff1 \|	diff2 \|	blob \| history
matita/components/grafite_engine/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/grafite_engine/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/grafite_engine/grafiteEngine.ml	diff1 \|	diff2 \|	blob \| history
matita/components/grafite_parser/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/grafite_parser/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/library/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/library/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/logger/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/logger/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_cic_content/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_cic_content/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_disambiguation/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_disambiguation/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_extraction/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_extraction/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_extraction/mlutil.ml	diff1 \|	diff2 \|	blob \| history
matita/components/ng_kernel/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_kernel/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_library/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_library/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_paramodulation/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_paramodulation/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_refiner/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_refiner/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_tactics/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/ng_tactics/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/ng_tactics/continuationals.ml	diff1 \|	diff2 \|	blob \| history
matita/components/ng_tactics/declarative.ml	\|	diff2 \|	blob \| history
matita/components/ng_tactics/nTacStatus.ml	diff1 \|	diff2 \|	blob \| history
matita/components/ng_tactics/nTactics.ml	diff1 \|	diff2 \|	blob \| history
matita/components/ng_tactics/nnAuto.ml	diff1 \|	diff2 \|	blob \| history
matita/components/registry/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/registry/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/syntax_extensions/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/thread/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/thread/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/components/xml/.depend	diff1 \|	diff2 \|	blob \| history
matita/components/xml/.depend.opt	diff1 \|	diff2 \|	blob \| history
matita/matita/applyTransformation.ml	diff1 \|	diff2 \|	blob \| history
matita/matita/matitaEngine.ml	diff1 \|	diff2 \|	blob \| history
matita/matita/matitaGui.ml	diff1 \|	diff2 \|	blob \| history