HCoop Git - hcoop/zz_old/domtool2-proto.git/commit - src/main-client.sml

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

summary | shortlog | log | commit | commitdiff | tree
(parent: 19bdfdd) | patch

author	adamch <adamch>
	Fri, 15 Dec 2006 20:38:39 +0000 (20:38 +0000)
committer	adamch <adamch>
	Fri, 15 Dec 2006 20:38:39 +0000 (20:38 +0000)
commit	c8a739af42fc5ea30ccf856cfc21267f986a5865
tree	d0e4385753518810a4b0dc649b771a2079298c31	tree \| snapshot (tar.gz zip)
parent	19bdfddd1d126f67bdf22a158aebf4d69a45f84c	commit \| diff

Multi-configuration support

src/autodoc.sml		diff \| blob \| blame \| history
src/main-client.sml		diff \| blob \| blame \| history
src/main.sig		diff \| blob \| blame \| history
src/main.sml		diff \| blob \| blame \| history
src/msg.sml		diff \| blob \| blame \| history
src/msgTypes.sml		diff \| blob \| blame \| history
src/order.sig		diff \| blob \| blame \| history
src/order.sml		diff \| blob \| blame \| history

DomTool: HCoop's distributed system configuration tool.