]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23a7bb5) | patch
* updated for gtk2
authorLuca Padovani <luca.padovani@unito.it>
Wed, 29 Oct 2003 10:00:57 +0000 (10:00 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 29 Oct 2003 10:00:57 +0000 (10:00 +0000)
commitf521f1744b48fe1cffe33fc6f506156ff2b93e4c
tree0087f72ae354d02d37e43edf8936ab4199901948tree | snapshot
parent23a7bb516677edd2c7e5b860c220fcf17734579dcommit | diff
* updated for gtk2
* temporarily removed hbugs
* temporarily removed html widget using a plain text widget instead
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.