merged

back to parallel compression: full AFP build does require 16GB Java heap…

back to pide_session=false for now, requires too many JVM resources (reverting…

clarified signature;

avoid redundant export handling for build;

enable pide_session by default;

avoid resource problems of JVM by too many parallel XZ compression tasks;

clarified errors;

tuned whitespace;

proper rendering of complex codepoints, e.g. \<^url> code: 0x01F310;

updated to jedit-5.6pre1 (repository version 25349);

proper file;

tuned document;

proper latex macros, notably for src/HOL/Examples/Iff_Oracle.thy;

NEWS;

clarified sessions;

clarified sessions: "Notable Examples in Isabelle/HOL";

clarified sessions: "Notable Examples in Isabelle/Pure";

adapted to d25093536482;

clarified markup;

clarified signature;

tuned signature;

tuned;

proper error positions;

more documentation on Isabelle/Scala;

more NEWS;

tuned whitespace;

more antiquotations;

tuned;

check bash functions against Isabelle settings environment;

misc tuning;

breakable scala_name;

tuned signature;

proper check of example;

discontinued pointless document antiquotation;

clarified signature --- fit within limit of 22 arguments;

tuned;

tuned;

more antiquotations;

obsolete;

check free-form Scala source;

clarified static_check: avoid accidental evaluation;

omit pointless memoing: Scala compiler is rather bulky anyway;

clarified signature;

antiquotations for Scala entities;

merged

proper stack_limit;

clarified signature;

proper check of registered Scala functions;

more accurate classpath for "isabelle scala";

asynchronous build_session: notably for Scala.fulfill protocol commands during…

clarified build_session protocol;

clarified signature;

tuned signature;

more robust: explicit check for PIDE session;

clarified name;

unused;

check Scala source snippets from ML;

tuned signature;

init default context;

tuned message;

more robust isabelle.Functions --- avoid Java reflection with unclear…

clarified signature;

tuned;

tuned message;

more brackets (see 2e8af171887f);

clarified signature;

unused;

more robust, notably for "isabelle scala";

clarified signature;

clarified signature;

clarified modules;

follow Phabricator update 2020 Week 19;

clarified session imports: avoid bulky HOL-Library image;

tuned -- avoid warning;

merged

added "isabelle sessions" tool;

tuned messages;

more robust Isabelle_System.init (amending c0bc99aad936): avoid non-termination…

back to more modest (but uniform) Java stack, see 97fc4f657bda;

more generous Java memory, also hoping to prevent spurious java.lang.

merged

merged

avoid deprecated operations;

tuned -- avoid odd compiler warning;

avoid deprecated operations;

deprecated and obsolete;

tuned signature -- avoid warnings;