Summary
- merged
- renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
- clarified SML name space: no access to structure PolyML;
- prefer internal tool;
- isabelle update_cartouches -c -t;
- prefer internal tool;
- prefer internal tool -- assuming that ISABELLE_TMP_PREFIX is created properly by Isabelle_System.isabelle_tmp_prefix;
- prefer internal tool;
- prefer internal tool;
- prefer internal tool;
- prefer internal tool;
- support for internal tools;
- clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
- clarified usage;