Summary
- tuned;
- more markup; multiple error output;
- added document antiquotation @{session name}; renamed protocol function "Prover.session_base" to "Prover.init_session_base" according to the ML/Scala operation;
- more accurate parse_nat/parse_int: avoid corner cases of Int.fromString (e.g. "1.0");
- tuned;
- disallow theory name "ROOT";
- PIDE markup for session ROOT files;
- tuned;
- more operations;
- tuned;
- recovered Options.default_markup, e.g. for src/Doc/antiquote_setup.ML (amending 16519cd83ed4);
- tuned;
- clarified signature;
- clarified signature;