Fix 'home' bugs
authoradamch <adamch>
Fri, 15 Dec 2006 00:03:27 +0000 (00:03 +0000)
committeradamch <adamch>
Fri, 15 Dec 2006 00:03:27 +0000 (00:03 +0000)
commit93fc7dd7349f88855146ea1a741b0dd0210ec923
tree37d2dbc5e7b48e44f53fbeec94cfced2bb4f4726
parentef2bcbb52afaf7ff7426e1494d0719fae40ec7df
Fix 'home' bugs
lib/hcoop.dtl
src/domain.sig
src/plugins/hcoop.sml