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

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

summary | shortlog | log | commit | commitdiff | tree
(parent: 254f7f9) | patch

author	adamch <adamch>
	Sat, 15 Dec 2007 20:17:26 +0000 (20:17 +0000)
committer	adamch <adamch>
	Sat, 15 Dec 2007 20:17:26 +0000 (20:17 +0000)
commit	70ecef16e0f9fe39de0fc0346d3270f710051d4c
tree	7a0a7fe1d8c9756ef4d26d1a62c539e9882db44a	tree \| snapshot (tar.gz zip)
parent	254f7f932c2956c80da7760914634b0b39951ef1	commit \| diff

Improved Easy_domain, with boolean env vars

elisp/domtool-mode.el		diff \| blob \| blame \| history
lib/alias.dtl		diff \| blob \| blame \| history
lib/easy_domain.dtl		diff \| blob \| blame \| history
src/domtool.grm		diff \| blob \| blame \| history
src/domtool.lex		diff \| blob \| blame \| history
src/eval.sml		diff \| blob \| blame \| history
src/plugins/easy_domain.sml		diff \| blob \| blame \| history
src/printFn.sml		diff \| blob \| blame \| history
src/tycheck.sml		diff \| blob \| blame \| history

DomTool: HCoop's distributed system configuration tool.