clarified modules;

provide information about Isabelle symbols within VSCode;

tuned signature;

Cleaned up and extended Probability/Tree_Space

HOL-Probability: use tree datastructure from Libary/Tree; hide left/right/var projections

avoid markup, for the sake of Build_Log.Log_File.parse_props;

more robust: store important meta info before potential failure;

tuned message;

merged

more HTML rendering as in Isabelle/jEdit; tuned;

tuned signature;

clarified menu; avoid non-portable ALT-mouse combination;

clarified signature;

HTML preview based on PIDE markup;

explicit foreground color, for the sake of dark theme in VSCode;

tuned layout (amending 8040d2563593);

more official session qualifier;

clarified;

replace non-arithmetic terms by fresh variables before replaying linear-arithmetic proofs: avoid failed proof replays due to an overambitious simpset which may cause proof replay to diverge from the pre-computed proof trace

merged

clarified output;

more tooltips;

clarified imports;

update strictly local imports only;

proper imports_base;

tuned;

avoid redundant Preview documents;

HOL-Probability: add measurable space for trees

clarified import of loaded theory;

decomposed tuple

tuned

clarified message

tuned signature;

discontinued obsolete print mode;

HTML preview via builtin HTTP server;

permissive output of XML.Text, e.g. relevant for embedded <style>;

avoid Local_Theory.reset in application space

tuned

specific output setup is not supposed to intrude regular import theory

avoid duplicate

streamlined code setup for fake terms

modernized (code) setup for enumeration predicates

simplified setup

executable domain membership checks

more tests;

cover more history;

cover more history;

uniform notion of Symbol.is_controllable (see also 265d9300d523);

merged

Added char, ref, array to heap-storable types

Fixed to also work with non-IntInf default int type

updated package;

proper markup for IsabelleText font;

generate CSS for Isabelle fonts;

tuned signature;

tuned signature;

output control symbols like ML version, with optionally hidden source;

use css from Isabelle distribution;

clarified output;

proper update of already existing preview;

tuned signature;

tuned signature;

tuned;

uniform output of HTML as XML; discontinued special cases of 041dc6d8d344;

tuned layout;

modernized generated HTML;

tuned signature; tuned;

added update operation;

clarified name; tuned whitespace;

register commands earlier, before prover startup;

explicit preview request/response; commands, icons, menus like VSCode markdown preview; clarified Uri information (again); tuned;

tuned layout;

more robust -- avoid race condition wrt. Haskell output in $ISABELLE_TMP/examples/

merged

tuned -- like Dynamic_Preview;

tuned;

provide preview content on Scala side (similar to output);

tuned signature;

more careful treatment of context.subscriptions;

clarified event handling; tuned;

tuned;

clarified modules;

tuned;

clarified modules;

tuned imports;

clarified modules;

clarified signature;

clarified modules;

tuned names

adjusted doc

redefined Greatest

merged

update preview after document change; clarified encode_name/decode_name; clarified other_column;

proper HTML preview;

clarified view column; tuned whitespace;

basic setup for document preview;

Tuned Library/Sublist.thy

reorganised material on sublists

removed GreatestM

introduced arg_max

added is_arg_min

removed LeastM; is now arg_min

more arg_min

no exit code from build processes by default, e.g. relevant for non-strict results of remote_build_history;

tuned;

clarified build errors; tuned signature;

tuned layout;

tuned signature;

tuned signature;

tuned signature;

tuned signature;

clarified signature;

tuned layout;

show errors from build_log database;

support for message underline and tooltips;

unused;

store errors in build_history logs and database;

tuned;

more selective database access;

store errors in build db;