HCoop Git - hcoop/domtool2.git/commit

author	Adam Chlipala <adamc@hcoop.net>
	Thu, 22 Nov 2007 17:29:46 +0000 (17:29 +0000)
committer	Adam Chlipala <adamc@hcoop.net>
	Thu, 22 Nov 2007 17:29:46 +0000 (17:29 +0000)
commit	b096303256418167cb3d9f05e95ee13ef063dc20
tree	612b2a23d57a4257fa0a0203759d758a26ff4853	tree \| snapshot (tar.gz zip)
parent	d936cf4d0b120b88f99c10dee5556d0ca7320324	commit \| diff

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

Unnamed repository; edit this file to name it for gitweb.