]> matita.cs.unibo.it Git - helm.git/commit
Porting to lablgtk2 completed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 7 Nov 2003 11:04:17 +0000 (11:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 7 Nov 2003 11:04:17 +0000 (11:04 +0000)
commite02d9ce6273a9c4b91327e4fdb32100f9cbe3ff6
treeffd5ac496c5fdee484e509f5c3f1ed3a898bdf81
parenta8f79e24d38d0868e2ab64428ed43ed7e52f459d
Porting to lablgtk2 completed.
helm/hbugs/client/hbugs_client.ml