init: more explicit protocol of open/remove rendezvous;

use hardwired /tmp -- fifo only work on local file-system;

separate module for code output

fixed names of class assumptions

dropped parameter prefix for class theorems

added charset (from isabelle_process.scala); added fifo_reader -- also works on Cygwin;

moved charset to isabelle_system.scala; IsabelleSystem.fifo_reader;

provide HOME_JVM=HOME to prevent implicit cygpath mangling;

restructured and split code serializer module

no parameter prefix for class interpretation

updated

tuned fold_lines;

fold_lines: simplified, more efficient due to String.fields;

rm fifo after open;

dummy setup for completion;

create named pipe;

added is_cygwin; added exec2, which joins stdout/stderr; tuned thread arrangement;

join stdout/stderr, eliminated Kind.STDERR; messages are read from separate fifo (ensures that spurious stdout from shell wrappers, Poly/ML runtime system etc. do not spoil message protocol); private output, output_raw;

explicit output stream, typically a named pipe;

refined option -W: output stream;

more function -> fun

quicksort: function -> fun

corrected some typos

fixed atom_to_xml: literal "name" attribute;

exported atom_to_xml;

changed Markup print mode to YXML -- explicitly decode messages before being issued; changed Output print mode to plain default -- no escaping; simplified pgml_sym: produce Pgml.pgmlatom, no special treatment of Ctrl/Raw; removed unused issue_pgips; removed obsolete delay_msgs feature -- the script parser never fails, but produces inline error markup; removed obsolete wrap_pgml; explicit transformation of messages (pgml_terms and message_content); remove obsolete split_markup workaround; misc tuning;

tuned;

present_token: disable print_mode, which is YXML now;

text_of Malformed: explode with spaces -- Output.output/escape ineffective by default;

removed obsolete XML.Output workaround;