]> matita.cs.unibo.it Git - helm.git/commit - helm/hbugs/client/main.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e404d33) | patch
foo main program that instantiate a client GUI, for debugging purposes
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 13:49:41 +0000 (13:49 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 13:49:41 +0000 (13:49 +0000)
commit9aacfb2ddb32a1481ff42c51279ced80cc59a16e
treee8a9fc0869a1c3091bc2e21f81ecb413609fcf62tree | snapshot
parente404d33b583660bee61656308ddd20df79ad1ebacommit | diff
foo main program that instantiate a client GUI, for debugging purposes
helm/hbugs/client/main.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.