]> matita.cs.unibo.it Git - helm.git/commit
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
tree9b5826e2ece08665c09586cc8703e0bce39e46da
parent00d069b17dfd24d3b421f4cb54d639437450bbaa
Minor widget rearrangement.
helm/gTopLevel/gTopLevel.ml