]> matita.cs.unibo.it Git - helm.git/commit
ported to svn-cvs merge
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Apr 2005 17:02:06 +0000 (17:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Apr 2005 17:02:06 +0000 (17:02 +0000)
commit06eea22fd7bfe29d103decac4dddce899cd20fbd
tree753dda81a2c3ec3baff7d63f5a2af0e5c3b97ff2
parent0575a1cb077087970f311b48f2e45dc4a01a6867
ported to svn-cvs merge
helm/gTopLevel/.depend
helm/gTopLevel/disambiguatingParser.mli
helm/gTopLevel/termEditor.ml
helm/gTopLevel/texTermEditor.ml