Session_Dockable: more startup controls;

simplified / clarified Session.Phase;

more precise treatment of backgrounds vs. rectangles;

tuned mk_fifo;

tuned signature;

tuned border;

more informative Session.Phase;

merged

merged

tuned schema table

tuned warning_color;

tuned error_color;

some attempts to improve visual appearance of bad text;

clarified @{type} antiquotation: abbreviations and nonterminals count as "syntactic", disallow TFrees; tuned;

updated generated file;

modernized structure Ord_List;

isatest: indicate Isabelle version;

actually handle Type.TYPE_MATCH, not arbitrary exceptions;

merged

prefer typewrite tag over raw latex environment

avoid fragile tranclp syntax; corrected resolution; corrected typo

merged

use typewriter tag instead of bare environment

dropped dead code

always add trailing newline for presentation

corrected omission

fixed small font size fore typewriter text

merged

load theory explicitly

merge