wenzelm [Thu, 13 Dec 2012 18:00:24 +0100] rev 50503
enable Isabelle/ML to produce uninterpreted result messages as well;
wenzelm [Thu, 13 Dec 2012 17:46:33 +0100] rev 50502
include command results in tooltip as well;
wenzelm [Thu, 13 Dec 2012 17:29:23 +0100] rev 50501
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;
wenzelm [Thu, 13 Dec 2012 13:52:18 +0100] rev 50500
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;
wenzelm [Wed, 12 Dec 2012 23:36:07 +0100] rev 50499
rendering of selected dialog_result as active_result_color, depending on dynamic command status in output panel, but not static popups etc.;
wenzelm [Wed, 12 Dec 2012 21:50:42 +0100] rev 50498
support dialog via document content;
wenzelm [Wed, 12 Dec 2012 19:03:49 +0100] rev 50497
merged
blanchet [Wed, 12 Dec 2012 15:38:47 +0100] rev 50496
further fix related to bd9a0028b063 -- that change was per se right, but it exposed a bug in the pattern for "all"
blanchet [Wed, 12 Dec 2012 15:25:17 +0100] rev 50495
better tautology check -- don't reject "prod_cases3" for example
blanchet [Wed, 12 Dec 2012 13:42:14 +0100] rev 50494
tuned debugging file names