#212 (May 30, 2016, 9:32:08 PM)

1. merged (detail / hgweb)
2. tuned; (detail / hgweb)
3. allow 'for' fixes for multi_specs; (detail / hgweb)
4. unused; (detail / hgweb)
5. clarified check_open_spec / read_open_spec;
   allow 'for' fixes in 'abbreviation', 'definition'; (detail / hgweb)
6. tuned; (detail / hgweb)
7. clarified 'axiomatization'; (detail / hgweb)
8. clarified axiomatization; (detail / hgweb)
9. clarified axiomatization: proper variables (!); (detail / hgweb)

Started by an SCM change