]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a2bef9) | patch
first client implementation as a standalone application
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:06:22 +0000 (09:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:06:22 +0000 (09:06 +0000)
commit2db12b2fb1b0846ae2140273aec5ed8df27c9201
tree64bf34ffd0a76439fc602dce134dc44bc47d8f0dtree | snapshot
parent5a2bef9e64bb5888900ec2a05ca8eb7a4e58a4d6commit | diff
first client implementation as a standalone application
helm/hbugs/client/.cvsignore [new file with mode: 0644] blob
helm/hbugs/client/Makefile [new file with mode: 0644] blob
helm/hbugs/client/hbugs_client.ml [new file with mode: 0644] blob
helm/hbugs/client/hbugs_gui.glade [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.