]> matita.cs.unibo.it Git - helm.git/commit
Useless GrafiteTypes.get_baseuri removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Jun 2009 08:40:48 +0000 (08:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Jun 2009 08:40:48 +0000 (08:40 +0000)
commit9a7c77e5c29d764109a104aa629761ba90cb511c
tree69036e1ac73659657f6c88a587f0d048586e0ae1
parent290350836dd1727b3e3cdd4ee71e666a39cc4a09
Useless GrafiteTypes.get_baseuri removed.
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/grafite_engine/grafiteTypes.ml
helm/software/components/grafite_engine/grafiteTypes.mli
helm/software/matita/matita.ml
helm/software/matita/matitaEngine.ml
helm/software/matita/matitaGui.ml
helm/software/matita/matitaWiki.ml