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, 14 Dec 2018 23:15:58 +0000 (00:15 +0100)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 19 Dec 2018 16:51:23 +0000 (17:51 +0100)
commit	a823c605d3a541c8d7df2bcc3c21bf459c9d25c4
tree	136ec635a37d9005af6ed65599c921bf68ecafe6	tree \| snapshot
parent	45f2accd093c8d10eb692266f4c3c0c59cb22d8b	commit \| diff

On-going porting to lablgtk3

53 files changed:

matita/.merlin	[new file with mode: 0644]	blob
matita/components/METAS/meta.helm-content_pres.src		diff \| blob \| history
matita/components/METAS/meta.helm-grafite_parser.src		diff \| blob \| history
matita/components/content/.depend.opt		diff \| blob \| history
matita/components/content_pres/.depend.opt		diff \| blob \| history
matita/components/content_pres/Makefile		diff \| blob \| history
matita/components/disambiguation/.depend.opt		diff \| blob \| history
matita/components/extlib/.depend.opt		diff \| blob \| history
matita/components/extlib/hExtlib.ml		diff \| blob \| history
matita/components/extlib/hMarshal.ml		diff \| blob \| history
matita/components/getter/.depend.opt		diff \| blob \| history
matita/components/getter/http_getter_misc.ml		diff \| blob \| history
matita/components/getter/http_getter_wget.ml		diff \| blob \| history
matita/components/grafite/.depend.opt		diff \| blob \| history
matita/components/grafite_engine/.depend.opt		diff \| blob \| history
matita/components/grafite_parser/.depend.opt		diff \| blob \| history
matita/components/grafite_parser/Makefile		diff \| blob \| history
matita/components/library/.depend.opt		diff \| blob \| history
matita/components/logger/.depend.opt		diff \| blob \| history
matita/components/ng_cic_content/.depend.opt		diff \| blob \| history
matita/components/ng_disambiguation/.depend.opt		diff \| blob \| history
matita/components/ng_extraction/.depend.opt		diff \| blob \| history
matita/components/ng_extraction/coq.ml		diff \| blob \| history
matita/components/ng_extraction/nCicExtraction.ml		diff \| blob \| history
matita/components/ng_kernel/.depend		diff \| blob \| history
matita/components/ng_kernel/.depend.opt		diff \| blob \| history
matita/components/ng_kernel/nCicSubstitution.ml		diff \| blob \| history
matita/components/ng_kernel/nCicUtils.ml		diff \| blob \| history
matita/components/ng_library/.depend.opt		diff \| blob \| history
matita/components/ng_paramodulation/.depend.opt		diff \| blob \| history
matita/components/ng_refiner/.depend.opt		diff \| blob \| history
matita/components/ng_tactics/.depend.opt		diff \| blob \| history
matita/components/registry/.depend.opt		diff \| blob \| history
matita/components/registry/helm_registry.ml		diff \| blob \| history
matita/components/syntax_extensions/.depend.opt		diff \| blob \| history
matita/components/thread/.depend.opt		diff \| blob \| history
matita/components/xml/.depend.opt		diff \| blob \| history
matita/components/xml/xml.ml		diff \| blob \| history
matita/components/xml/xmlPushParser.ml		diff \| blob \| history
matita/configure.ac		diff \| blob \| history
matita/matita/.depend		diff \| blob \| history
matita/matita/.depend.opt		diff \| blob \| history
matita/matita/Makefile		diff \| blob \| history
matita/matita/cicMathView.ml		diff \| blob \| history
matita/matita/matita.ui	[new file with mode: 0644]	blob
matita/matita/matitaGtkMisc.ml		diff \| blob \| history
matita/matita/matitaGtkMisc.mli		diff \| blob \| history
matita/matita/matitaGui.ml		diff \| blob \| history
matita/matita/matitaGuiInit.ml	[new file with mode: 0644]	blob
matita/matita/matitaMathView.ml		diff \| blob \| history
matita/matita/matitaMisc.ml		diff \| blob \| history
matita/matita/matitaScript.ml		diff \| blob \| history
matita/matita/matitaScript.mli		diff \| blob \| history

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

RSS Atom