CONTROL-mouse management: handle windowIconified; html_panel: tuned border;

basic support for message popups via HTML_Panel; more systematic CONTROL-mouse management; tuned;

tuned default perspective;

tuned README;

more defensive overview.paintComponent: avoid potential crash due to buffer change while painting;

tuned README;

more uniform init/exit model/view in session_manager, trading race wrt. session.phase for race wrt. global editor state;

moved "auto-start" to options panel; tuned;

renamed raw output primitives to emphasize their meaning -- not to be used in user-space;

added Standard_System.unzip (for platform file-system); tuned comments;

bulk read: observe EOF protocol more carefully -- 0 counts as successful read;

tuned whitespace;

merged

lemma remdups_map_remdups

lemma remdups_list_of_dlist

merged

adopting example

adding further tracing messages; tuned

handling nested cases more elegant by requiring less new constants

merged

renamed function

rename "Clausifier" to "Meson_Clausifier" and merge with "Meson_Tactic"

comment out Auto Try until issues are resolved (automatically on by default even though the code says off; thread that continues in the background)

remove needless flag

added hint on reference equality

treat equality on refs and arrays as primitive operation

corrected OCaml operator precedence

corrected scope of closure

merged

separate quote tag from tt tag