updated example;

clarified options;

Reinstate tests on the command argument to Unix.execute to check it is…

Implement Unix.executeInEnv and hence Unix.execute largely in C rather

Update the Windows library code for the FFI changes.

proper context variable handling when stripping leadings quantifiers from test…

merged

minor stylistic changes

Add completeness of modal logics T, KB, K4, S4 and S5

Stylistic tweaks, which I hope are improvements :-)

proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);

eliminated perl: prefer elementary GNU printenv;

more self-contained support for macOS;

more robust bootstrap of components;

misc tuning and clarification;

tuned signature;

updated paper references

support for base64 via Isabelle/Scala/ML;

compile;

clarified signature (again);

clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);

merged

clarified signature;

clarified signature: more structured arguments, notably for remote provers;

unused;

clarified signature;

unused;

clarified message output: flush already happens in write_message_yxml (see…

clarified signature for Scala functions;

clarified signature: avoid tmp file;

tuned;

clarified cache;

clarified exceptions;

clarified signature: Bytes extends CharSequence already (see d201996f72a8);

more uniform use of Byte_Message;

tuned signature;

tuned signature;

more robust treatment of empty markup: it allows to produce formal chunks;

merge

increased timeout