]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00d069b) | patch
Minor widget rearrangement.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 12 Dec 2002 18:53:12 +0000 (18:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 12 Dec 2002 18:53:12 +0000 (18:53 +0000)
commit370f967a478c116fcc85a81c7953363b4351a2e9
tree9b5826e2ece08665c09586cc8703e0bce39e46datree | snapshot
parent00d069b17dfd24d3b421f4cb54d639437450bbaacommit | diff
Minor widget rearrangement.
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.