#213 (May 24, 2016, 6:26:12 PM)

1. updated to renamed prefix* (detail / hgweb)
2. merge (detail / hgweb)
3. added facts on square-free factorizations (detail / hgweb)
4. updated to prefix change (detail / hgweb)
5. Merge (detail / hgweb)
6. fixed more broken proofs (detail / hgweb)
7. more renamings (detail / hgweb)
8. clarified syntax categories; (detail / hgweb)
9. tuned whitespace; (detail / hgweb)
10. merged (detail / hgweb)
11. merged (detail / hgweb)
12. eliminated definition' and fun' -- standard commands already support cartouches; (detail / hgweb)
13. updated embedded syntax; (detail / hgweb)

Started by an SCM change