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>
	Fri, 27 Sep 2019 13:45:21 +0000 (15:45 +0200)
commit	f34f2623a3133e235331d0c0c1830ec213dd09f1
tree	b4b04c134a1d7a3db0bba0461fb81d1217335f79	tree \| snapshot
parent	7e6fea0332e132a8cb89c689ba68c5e884c4354c	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