Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

1. merged
2. proper build of required session images vs. build with Mirabelle presentation;
3. reactive "sledgehammer";
4. reactive "sledgehammer_filter": statically correct, but untested (no proof_file);
5. clarified command-line;
6. clarified signature; supporess empty results;
7. clarified signature;
8. clarified log content;
9. reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
10. tuned;
11. unused;
12. unused (see 8ffc607c345d);
13. clarified signature: provide access to previous state;
14. clarified signature (see Scala version);
15. tuned signature;
16. avoid duplicate loading of ML file;