#170 (Apr 26, 2016, 11:11:08 PM)

1. merged (detail / hgweb)
2. updated subtle side-conditions; (detail / hgweb)
3. some uses of 'obtain' with structure statement; (detail / hgweb)
4. 'obtain' supports structured statements (similar to 'define'); (detail / hgweb)
5. more portable: GNU find no longer supports "-perm +mode"; (detail / hgweb)
6. more uniform operations for structured statements; (detail / hgweb)
7. defs are closed, which leads to proper auto_bind_facts;
   misc tuning; (detail / hgweb)
8. tuned notation; (detail / hgweb)
9. misc tuning and modernization; (detail / hgweb)

Started by an SCM change