add predicate version of lexicographic order on lists
setup lifting/transfer for String.literal
instantiate linorder for String.literal by lexicographic order
implement comparisons on String.literal by target-language comparisons
no ord instance for String.literal in Haskell when list is also ordered lexicographically
register actual group of nested worker context -- relevant for insulated cancellation of exec_ids (see also 78693e46a237, e0169f13bd37);
tuned signature;
compile on Windows (clone of d04576557400);
updated to Isabelle2013-2;
fixed apparent copy-paste bug
moving 'Order_Relation' to 'HOL' (since it's a BNF dependency)
moved meson up the dependency chain
eliminated Sledgehammer's dependency on old-style datatypes
rationalize imports
compile
back to Status.FINISHED and immediate remove_overlay (reverting 6e69f9ca8f1c), which is important to avoid restart of print function after edits + re-assignment of located command;
resolve sendback wrt. static command id, to allow active area even after exec_id is removed (cf. prune_delay);
NEWS;
correctly account for dead variables when naming set functions
more total master_directory -- NB: this is used outside command transactions (see also 92961f196d9e);
tuned messages;
more .hgignore;