support dialog via document content;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50512 6647ba2775c1706eb4fb03c5da3f352a34310f2c
rendering of selected dialog_result as active_result_color, depending on dynamic command status in output panel, but not static popups etc.;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50513 f496b2b7bafbb97362ea11ac215c58995a25a43f
identify dialogs via official serial and maintain as result message;
clarified Protocol.is_inlined: suppress result/tracing/state messages uniformly;
cumulate_markup/select_markup depending on command state;
explicit Rendering.output_messages;
tuned source structure;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50514 c94bba7906d23915651e3770bde793ed83fda647
more careful handling of Dialog_Result, with active area and color feedback;
more formal type Command.Results;
propagate command results to output, which is required to resolve update of dialog state;
clarified Markup.message: retain uninterpreted messages;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50515 6f41f1646617c7b1a30ca8d1407f5fe31c473cf1
include command results in tooltip as well;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50516 51408dde956f9415211b5d590410d92fc3cc6504
enable Isabelle/ML to produce uninterpreted result messages as well;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50517 50f141b34bb798b40acad02db10b1716a9994365
smarter handling of tracing messages: prover process pauses and enters user dialog;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50519 33c92722cc3d9ef83a81fbd3c1c120e308c39acf
more formal class Command.Results;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50520 9605b0d93d1e5a1b71dd379f6adc228b50cbeb11
odd bias of sub/superscript keyboard shortcuts -- according to frequency of use;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50521 7d8406ebe18f22364800db3513e69d424e66878a
tuned implementation according to Library.insert/merge in ML;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50522 5b7150395568f8f08247265d72a7b0c4de08f622
actually request heap image in initial up-to-date check;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50532 345b25cf2e4f52280e413e531fbc3c84541a9871
init gutter according to view properties, which improves symmetry of windows and allows use of folds etc;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50539 48cb76b785da085b2e3dac74672d8b3584a175be
tuned error dialog;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50540 3b68e5760a2d840a422192bbfd767a21ab79821c
tuned;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50541 f4aac67a6405a5553f831f5db78d50246582f58f
tuned signature;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50542 021f054ff1faedb0922d7c59084c06e9fb00a90c
fold handling within Pretty_Text_Area, based on formal document content, which is static here;
fold subgoals;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50543 58bd88159f8f2ac9d15b29302de3642efb9876be
fold main goal;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50544 42bbe637be546420f38d19d8b90f1abf193deddc
updated README;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50545 c76b41cde4f57e0db954870911169381188b2248
explicit text_fold markup, which is used by default in Pretty.chunks/chunks2;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50546 00bdc48c5f71a1a5ac94cdf80663d11b811b577e
clarified build_dialog command line;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@50547 1b01a57d27499fd86939788160742ac5a8cf3898