From: Adam Chlipala <adamc@hcoop.net>
Date: Fri, 15 Dec 2006 19:34:17 +0000 (+0000)
Subject: Fix problem noted by omry on original domtool; namely, bad handling of rewrites insid... 
X-Git-Tag: release_2010-11-19~301
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/ce01b51a0ad907253957a8ca9419cf2fbd42af91?hp=ce01b51a0ad907253957a8ca9419cf2fbd42af91

Fix problem noted by omry on original domtool; namely, bad handling of rewrites inside local scopes
---