]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4772f0c) | patch
added support for slaves killing
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 15 Apr 2003 15:47:42 +0000 (15:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 15 Apr 2003 15:47:42 +0000 (15:47 +0000)
commit1f9b11657c822cc762f808e0bfc5f5f2b4fb6ec7
treed26c942147d479038cbba04b0893c626720fb35dtree | snapshot
parent4772f0cc5107b3809128e8ed0bbef4bfffbfe1ffcommit | diff
added support for slaves killing
helm/hbugs/tutors/.cvsignore diff | blob | history
helm/hbugs/tutors/Makefile diff | blob | history
helm/hbugs/tutors/hbugs_deity.ml [new file with mode: 0644] blob
helm/hbugs/tutors/hbugs_deity.mli [new file with mode: 0644] blob
helm/hbugs/tutors/hbugs_tutors_common.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.