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

separate quote tag from tt tag

make SML/NJ happy

some more options to robustify posix_untar;

more efficient posix_untar -- avoid really slow java.util.zip.GZIPInputStream; misc tuning;

back to UseQuartz=true -- used to be default on Apple Java 1.5;

raw_untar.raw_execute with native cwd, to avoid cross-platform complications; more informative treatment of IOException, notably due to broken pipe;