]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f0bf1e) | patch
(temporary, waiting for abstraction over disambiguators) ported to Andrea &
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 16:07:42 +0000 (16:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 16:07:42 +0000 (16:07 +0000)
commitc1cf3479d53bbe813c254433b6b9d4d5839065d2
tree5167afd7aeac2fe8dc58de19db8dffa8dff9b11ctree | snapshot
parent6f0bf1e9e4094d452bf318a49979deb5800ac779commit | diff
(temporary, waiting for abstraction over disambiguators) ported to Andrea &
Zack's disambiguator
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/termEditor.ml diff | blob | history
helm/gTopLevel/termEditor.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.