]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9f9195) | patch
commented out thread killing (we have to wait for a decent Thread.exit
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 7 Sep 2003 09:46:14 +0000 (09:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 7 Sep 2003 09:46:14 +0000 (09:46 +0000)
commit44de0d194b6f4d890605f023aaafd95e541381f0
tree6b76fb394d21ff28f0ae9cd4b85476c9b064d542tree | snapshot
parenta9f9195de421375634346e0d55a7d06c7718488dcommit | diff
commented out thread killing (we have to wait for a decent Thread.exit
implementation)
helm/hbugs/tutors/hbugs_deity.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.