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

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

author	Andrea Asperti <andrea.asperti@unibo.it>
	Tue, 26 Oct 2010 14:32:14 +0000 (14:32 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Tue, 26 Oct 2010 14:32:14 +0000 (14:32 +0000)
commit	f6b7c6ae353e014761a3d24dbc87e00d828d7f2d
tree	2cf65e3fb37c303e520b89401c676ab410fc3d50	tree \| snapshot
parent	42aa528129728611cae9da02904886522b08f94a	commit \| diff

urimanager removed

58 files changed:

matita/components/METAS/meta.helm-getter.src		diff \| blob \| history
matita/components/METAS/meta.helm-urimanager.src	[deleted file]	blob \| history
matita/components/Makefile		diff \| blob \| history
matita/components/content/content.ml		diff \| blob \| history
matita/components/content/content.mli		diff \| blob \| history
matita/components/content/interpretations.ml		diff \| blob \| history
matita/components/content/interpretations.mli		diff \| blob \| history
matita/components/content/notationPp.ml		diff \| blob \| history
matita/components/content/notationPt.ml		diff \| blob \| history
matita/components/content/notationUtil.ml		diff \| blob \| history
matita/components/content/notationUtil.mli		diff \| blob \| history
matita/components/content_pres/cicNotationPres.ml		diff \| blob \| history
matita/components/content_pres/cicNotationPres.mli		diff \| blob \| history
matita/components/content_pres/content2pres.ml		diff \| blob \| history
matita/components/content_pres/termContentPres.ml		diff \| blob \| history
matita/components/disambiguation/disambiguate.ml		diff \| blob \| history
matita/components/disambiguation/disambiguateTypes.ml		diff \| blob \| history
matita/components/disambiguation/disambiguateTypes.mli		diff \| blob \| history
matita/components/getter/http_getter.ml		diff \| blob \| history
matita/components/getter/http_getter.mli		diff \| blob \| history
matita/components/grafite/grafiteMarshal.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteEngine.mli		diff \| blob \| history
matita/components/grafite_engine/nCicCoercDeclaration.ml		diff \| blob \| history
matita/components/grafite_engine/nCicCoercDeclaration.mli		diff \| blob \| history
matita/components/grafite_parser/dependenciesParser.ml		diff \| blob \| history
matita/components/grafite_parser/dependenciesParser.mli		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
matita/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
matita/components/lexicon/lexiconEngine.ml		diff \| blob \| history
matita/components/lexicon/lexiconMarshal.ml		diff \| blob \| history
matita/components/lexicon/lexiconSync.ml		diff \| blob \| history
matita/components/lexicon/lexiconSync.mli		diff \| blob \| history
matita/components/library/libraryClean.ml		diff \| blob \| history
matita/components/ng_cic_content/nTermCicContent.ml		diff \| blob \| history
matita/components/ng_cic_content/ncic2astMatcher.ml		diff \| blob \| history
matita/components/ng_cic_content/ncic2astMatcher.mli		diff \| blob \| history
matita/components/ng_disambiguation/disambiguateChoices.ml		diff \| blob \| history
matita/components/ng_disambiguation/disambiguateChoices.mli		diff \| blob \| history
matita/components/ng_disambiguation/nCicDisambiguate.ml		diff \| blob \| history
matita/components/ng_disambiguation/nCicDisambiguate.mli		diff \| blob \| history
matita/components/urimanager/.depend	[deleted file]	blob \| history
matita/components/urimanager/.depend.opt	[deleted file]	blob \| history
matita/components/urimanager/Makefile	[deleted file]	blob \| history
matita/components/urimanager/uriManager.ml	[deleted file]	blob \| history
matita/components/urimanager/uriManager.mli	[deleted file]	blob \| history
matita/matita/matita.glade		diff \| blob \| history
matita/matita/matita.ml		diff \| blob \| history
matita/matita/matitaExcPp.ml		diff \| blob \| history
matita/matita/matitaGui.ml		diff \| blob \| history
matita/matita/matitaGui.mli		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/matitaclean.ml		diff \| blob \| history
matita/matita/matitadep.ml		diff \| blob \| history

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

RSS Atom