HCoop Git - hcoop/zz_old/domtool2-proto.git/commit

HCoop / hcoop / zz_old / domtool2-proto.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 1a930bd) | patch

author	adamch <adamch>
	Sun, 10 Dec 2006 20:09:28 +0000 (20:09 +0000)
committer	adamch <adamch>
	Sun, 10 Dec 2006 20:09:28 +0000 (20:09 +0000)
commit	89c9edc947fb897a67d06521ff19d82248e7b1fe
tree	8e0e39ed1bbf050480ae7d66e1cd60481623e57d	tree \| snapshot (tar.gz zip)
parent	1a930bd7a81b730c17f8ff34b29a5468223b9e30	commit \| diff

Limit 'extern' to trusted code

src/main.sml		diff \| blob \| blame \| history
src/tycheck.sig		diff \| blob \| blame \| history
src/tycheck.sml		diff \| blob \| blame \| history

DomTool: HCoop's distributed system configuration tool.