2022-09-07 wenzelm updated to postgresql-42.5.0;
2022-09-07 wenzelm tool to build Isabelle component for PostgreSQL JDBC;
2022-09-06 wenzelm clarified goal structure with proper instantiation of main goal, to support "show_goal_inst";
2022-09-06 wenzelm option "show_states" for more verbosity of batch-builds;
2022-09-06 wenzelm tuned --- avoid warnings;
2022-09-06 wenzelm proper antiquotations;
2022-09-06 wenzelm inline markup for Output.state (in contrast to c94bba7906d2): make messages available via Rendering.text_messages and thus "isabelle log" (see cb0c407fbc6e), while Rendering.output_messages of Isabelle/jEdit/VSCode is unaffected;
2022-09-05 wenzelm proper antiquotations;
2022-09-05 wenzelm clarified options, following e.g. "show_consts";
2022-09-05 wenzelm proper Envir.subst operations: env is already normalized, using Envir.norm may lead to non-termination;
2022-09-05 wenzelm unused (see 15758fced053);
2022-09-05 wenzelm clarified modules;
2022-09-05 wenzelm show goal instantiation, notably for 'schematic_goal' command (inactive by default);
2022-09-05 wenzelm proper umlauts;
2022-09-05 wenzelm tuned signature;
2022-09-05 wenzelm tuned signature;
2022-09-05 wenzelm tuned;
2022-09-05 wenzelm tuned;
2022-09-05 wenzelm tuned error message;
2022-09-07 desharna merged
2022-09-02 desharna merged
2022-06-25 desharna moved antimono to Fun and redefined it as an abbreviation
2022-06-25 desharna moved mono and strict_mono to Fun and redefined them as abbreviations
2022-09-05 haftmann clarified generic euclidean relation
2022-09-05 blanchet added a bound in SMT on the number of schematic constants considered -- the code (in for_schematics) is exponential in that number
2022-09-03 wenzelm tuned signature;
2022-09-03 wenzelm check imports more strictly, e.g. reject ".../Pure" or ".../HOL-Library.Multiset";
2022-09-03 wenzelm tuned signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip