#64 (Mar 4, 2016, 12:11:08 AM)

1. merged (detail / hgweb)
2. simplified; (detail / hgweb)
3. obsolete; (detail / hgweb)
4. isabelle console -r" helps to bootstrap Isabelle/Pure; (detail / hgweb)
5. discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; (detail / hgweb)
6. proper return code (cf. faa452d8e265); (detail / hgweb)
7. clarified isabelle_process; (detail / hgweb)
8. clarified modules;
   tuned signature; (detail / hgweb)
9. clarified modules; (detail / hgweb)
10. clarified modules; (detail / hgweb)
11. removed junk; (detail / hgweb)
12. discontinued polyml-5.3.0; (detail / hgweb)

Started by an SCM change