]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe7df3d) | patch
Some improvements in the settings window
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Nov 2000 19:05:22 +0000 (19:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Nov 2000 19:05:22 +0000 (19:05 +0000)
commit73b8a2b8989ae956eef00d63c2eaaf715428e177
tree34b389ba2dd2b7cf05eb69a229ab10c9d395ea7etree | snapshot
parentfe7df3d309dc0876576773d7c32f91fbc7617d81commit | diff
Some improvements in the settings window
helm/interface/mmlinterface.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.