#200 (May 24, 2016, 10:41:03 PM)

1. merged (detail / hgweb)
2. recovered printing of DIM('a) (cf. 899c9c4e4a4c); (detail / hgweb)
3. updated; (detail / hgweb)
4. simplified syntax; (detail / hgweb)
5. clarified syntax category names according to Isabelle/ML/Scala; (detail / hgweb)
6. simplified syntax: Parse.term corresponds to Args.term etc.; (detail / hgweb)
7. clarified syntax categories; (detail / hgweb)
8. cartouche abbreviations work both for " as well; (detail / hgweb)

Started by an SCM change