#233 (Jun 8, 2016, 9:30:05 PM)

1. proper noWordSep as in "isabelle" mode (cf. 5024d0c48e02); (detail / hgweb)
2. merged (detail / hgweb)
3. NEWS; (detail / hgweb)
4. tuned proofs; (detail / hgweb)
5. provide dynamic facts in static context, to allow use of method_facts during static closure; (detail / hgweb)
6. tuned; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. less ambitious arguments: thms only, no context declaration; (detail / hgweb)
9. added method operator "use"; (detail / hgweb)
10. clarified signature; (detail / hgweb)
11. clean facts more uniformly; (detail / hgweb)
12. expode method_facts via dynamic method context; (detail / hgweb)
13. tuned; (detail / hgweb)

Started by an SCM change