#115 (Mar 30, 2016, 2:47:21 AM)

1. merged (detail / hgweb)
2. proper session dirs for "isabelle jedit" and "isabelle console" with options -d and -l; (detail / hgweb)
3. tuned messages -- more positions; (detail / hgweb)
4. more position information for type mixfix; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. proper norm_props, e.g. relevant for ML pp; (detail / hgweb)
7. clarified reports;
   tuned signature; (detail / hgweb)
8. tuned signature; (detail / hgweb)

Started by an SCM change