]> matita.cs.unibo.it Git - helm.git/commit
Adding settings to the widget
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 9 Nov 2000 10:38:17 +0000 (10:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 9 Nov 2000 10:38:17 +0000 (10:38 +0000)
commit2c55219403e079024a0e6a4741e10b13b7ea8219
tree30849b22822c5aa156a1f3b218eb174d5588254d
parentc277a04513ce7e03c8d341322c624ec95ebf22a4
Adding settings to the widget
helm/interface/cadet
helm/interface/mmlinterface.ml