#47 (Feb 28, 2016, 8:26:09 PM)

1. proper document source; (detail / hgweb)
2. simplified / unified isatest settings; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. discontinued old 'header'; (detail / hgweb)
5. more official "isabelle check_sources"; (detail / hgweb)
6. removed pointless "isabelle yxml"; (detail / hgweb)
7. moved getopts to Scala; (detail / hgweb)
8. moved getopts to Scala; (detail / hgweb)
9. obsolete; (detail / hgweb)
10. obsolete; (detail / hgweb)
11. moved getopts to Scala; (detail / hgweb)
12. moved getopts to Scala; (detail / hgweb)
13. tuned; (detail / hgweb)
14. just one File.find_files, based on Java 7 Files operations; (detail / hgweb)

Started by an SCM change