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

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

summary | shortlog | log | commit | commitdiff | tree
(parent: 06e243f) | patch

author	adamch <adamch>
	Thu, 22 Nov 2007 17:29:46 +0000 (17:29 +0000)
committer	adamch <adamch>
	Thu, 22 Nov 2007 17:29:46 +0000 (17:29 +0000)
commit	61caeff8ce3bf38c324d4f205a0ed9c0075ba2c9
tree	612b2a23d57a4257fa0a0203759d758a26ff4853	tree \| snapshot (tar.gz zip)
parent	06e243f45dd9ff6abb2d23f44afbe658ee110fe6	commit \| diff

Add end_in_slash and use it to fix moinMoin; do extra reduction during evaluation

lib/domain.dtl		diff \| blob \| blame \| history
lib/web_apps.dtl		diff \| blob \| blame \| history
src/domain.sml		diff \| blob \| blame \| history
src/eval.sml		diff \| blob \| blame \| history

DomTool: HCoop's distributed system configuration tool.