2021-05-02 wenzelm early definition of ML antiquotations;
2021-05-01 wenzelm tuned;
2021-04-29 wenzelm clarified signature: more operations;
2021-04-29 wenzelm clarified signature: more operations;
2021-04-28 wenzelm clarified signature;
2021-04-28 wenzelm tuned signature;
2021-04-28 wenzelm clarified command-line, following other build_XYZ tools;
2021-04-28 wenzelm more recent OCaml and GHC stack: better support for Apple Silicon;
2021-04-25 wenzelm merged
2021-04-25 wenzelm avoid "exec" to change the winpid;
2021-04-25 wenzelm clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c);
2021-04-22 wenzelm fast approximation of test for process group (NB: initial process might already be terminated, while background processes are still running);
2021-04-22 wenzelm clarified signature;
2021-04-22 wenzelm rebuild executable for x86_64-darwin;
2021-04-22 wenzelm clarified command-line;
2021-04-22 wenzelm update Linux base-line;
2021-04-22 wenzelm tuned comments;
2021-04-22 wenzelm tuned signature;
2021-04-22 wenzelm simplified typesetting of \<guillemotleft>...\<guillemotright>;
2021-04-23 haftmann collecting more lemmas concerning multisets
2021-04-20 wenzelm proper use of antiquotations;
2021-04-19 wenzelm more documentation on "Conversions";
2021-04-19 nipkow tuned
2021-04-17 wenzelm updated example;
2021-04-17 wenzelm clarified options (again);
2021-04-17 wenzelm more options: update ISABELLE_IDENTIFIER;
2021-04-16 wenzelm clarified conditional ML;
2021-04-16 wenzelm support for conditional ML text;
2021-04-16 wenzelm updated example;
2021-04-16 wenzelm clarified options;
2021-04-15 haftmann proper context variable handling when stripping leadings quantifiers from test goals
2021-04-14 wenzelm proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);
2021-04-14 wenzelm eliminated perl: prefer elementary GNU printenv;
2021-04-14 wenzelm more robust bootstrap of components;
2021-04-14 wenzelm more self-contained support for macOS;
2021-04-13 wenzelm misc tuning and clarification;
2021-04-13 wenzelm tuned signature;
2021-04-12 wenzelm support for base64 via Isabelle/Scala/ML;
2021-04-12 wenzelm compile;
2021-04-12 wenzelm clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);
2021-04-12 wenzelm clarified signature (again);
2021-04-12 wenzelm merged
2021-04-12 wenzelm clarified signature;
2021-04-12 wenzelm unused;
2021-04-12 wenzelm unused;
2021-04-12 wenzelm clarified signature: more structured arguments, notably for remote provers;
2021-04-12 wenzelm clarified signature;
2021-04-12 wenzelm clarified signature: avoid tmp file;
2021-04-12 wenzelm clarified signature for Scala functions;
2021-04-12 wenzelm clarified message output: flush already happens in write_message_yxml (see Isabelle/22b5ecb53dd9);
2021-04-12 wenzelm tuned;
2021-04-12 wenzelm clarified cache;
2021-04-12 wenzelm clarified signature: Bytes extends CharSequence already (see d201996f72a8);
2021-04-12 wenzelm clarified exceptions;
2021-04-11 wenzelm more uniform use of Byte_Message;
2021-04-11 wenzelm tuned signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -56 +56 +100 +300 +1000 +3000 tip