2009-12-08 wenzelm 2009-12-08 misc modernization of names;
2009-12-08 wenzelm 2009-12-08 misc rearrangement of files;
2009-12-08 wenzelm 2009-12-08 removed remains of Flying Saucer;
2009-12-08 wenzelm 2009-12-08 manipulate document within Swing thread only -- potentially slow;
2009-12-08 wenzelm 2009-12-08 tuned JVM settings;
2009-12-07 wenzelm 2009-12-07 misc updates;
2009-12-07 wenzelm 2009-12-07 obsolete;
2009-12-07 wenzelm 2009-12-07 use IsabelleText by default;
2009-12-07 wenzelm 2009-12-07 misc updates;
2009-12-07 wenzelm 2009-12-07 simplified treatment of Isabelle fonts, via Isabelle_System.register_fonts (requires Java 1.6);
2009-12-07 wenzelm 2009-12-07 removed ScrollerDockable, which is based on discontinued Flying Saucer renderer;
2009-12-07 wenzelm 2009-12-07 use IsabelleText font; explicit <pre> element; relayout in swing thread -- paranoia mode;
2009-12-06 wenzelm 2009-12-06 reduced logging;
2009-12-04 wenzelm 2009-12-04 tuned message markup;
2009-12-04 wenzelm 2009-12-04 plain results, no markup here;
2009-12-04 wenzelm 2009-12-04 basic setup for Cobra HTML renderer;
2009-12-04 wenzelm 2009-12-04 results: XML.Tree;
2009-11-14 wenzelm 2009-11-14 basic platform update;
2009-09-17 wenzelm 2009-09-17 Prover: private Actor;
2009-09-16 wenzelm 2009-09-16 tuned;
2009-09-16 wenzelm 2009-09-16 misc tuning;
2009-09-16 wenzelm 2009-09-16 Linear_Set.append_after;
2009-09-15 wenzelm 2009-09-15 tuned file name;
2009-09-15 wenzelm 2009-09-15 tuned file name;
2009-09-15 wenzelm 2009-09-15 renamed PhaseOverviewPanel to Document_Overview;
2009-09-15 wenzelm 2009-09-15 tooltip: HTML dummy;
2009-09-15 wenzelm 2009-09-15 tuned;
2009-09-15 wenzelm 2009-09-15 misc tuning and unification;
2009-09-15 wenzelm 2009-09-15 refrain from actor shutdown -- slightly low-level;
2009-09-15 wenzelm 2009-09-15 keep BufferListener and TextAreaExtension private; misc tuning;
2009-09-15 wenzelm 2009-09-15 tuned white space;
2009-09-15 wenzelm 2009-09-15 misc tuning;
2009-09-15 wenzelm 2009-09-15 handle_result: no special treatment of outer markup (it is now properly identified by the prover); misc tuning;
2009-09-15 wenzelm 2009-09-15 single instance of rule_set;
2009-09-13 wenzelm 2009-09-13 regular activate=defer -- may debug remotely, no need to run under netbeans;
2009-09-13 wenzelm 2009-09-13 avoid fractional font metrics, which produces bad antialiasing with reletively new versions of jedit and java;
2009-09-08 wenzelm 2009-09-08 Prover: keep command_change/document_change event buses here, not in ProofDocument, Command, State, Plugin; TheoryView: simplified change_receiver, only for local purposes (via command_change); Accumulator: message requires explicit prover context for now;
2009-09-07 wenzelm 2009-09-07 tuned;
2009-09-07 wenzelm 2009-09-07 tuned;
2009-09-07 wenzelm 2009-09-07 Prover: just one actor -- single message dispatch; simplified states/commands/document_versions: immutable data;
2009-09-07 wenzelm 2009-09-07 modernized Event_Bus -- based on actors; simplified Prover.keyword_decls/command_decls/completion: immutable data, eliminated decl_info; eliminated Prover.output_info; tuned;
2009-09-07 wenzelm 2009-09-07 eliminated ProverEvents.Activate -- handle "ready" within Prover; tuned prover setup; tuned;
2009-09-07 immler 2009-09-07 corrected order
2009-09-06 wenzelm 2009-09-06 sidekick root data: set buffer length to avoid crash of initial caret move; separate Markup_Node, Markup_Tree, Markup_Text; added Markup_Text.flatten; Command.type_at: null-free version; eliminated Command.RootInfo; simplified printing of TypeInfo, RefInfo; added Command.content(Int, Int);
2009-09-06 wenzelm 2009-09-06 tuned color (PG 4.0);
2009-09-06 wenzelm 2009-09-06 treat all messages except status as results; report ignored status reports; invoke command.changed only for actual change; tuned;
2009-09-06 wenzelm 2009-09-06 tuned;
2009-09-06 wenzelm 2009-09-06 tuned;
2009-09-06 wenzelm 2009-09-06 replaced find_command_at by command_at -- null-free, proper Option; tuned;
2009-09-06 wenzelm 2009-09-06 tuned;
2009-09-06 wenzelm 2009-09-06 tuned;
2009-09-06 wenzelm 2009-09-06 minor tuning;
2009-09-05 wenzelm 2009-09-05 tuned MarkupNode argument order; tuned;
2009-09-05 wenzelm 2009-09-05 eliminated MarkupInfo, moved particular variants into object Command;
2009-09-05 wenzelm 2009-09-05 removed dead code;
2009-09-05 wenzelm 2009-09-05 MarkupNode: removed id;
2009-09-04 wenzelm 2009-09-04 simplified MarkupNode -- independent of Command and ProofDocument; tuned;
2009-09-04 wenzelm 2009-09-04 minor tuning;
2009-09-03 wenzelm 2009-09-03 sorted;
2009-09-03 wenzelm 2009-09-03 IsabelleSideKickParser: incorporate former MarkupNode.markup2default_node, observe stopped flag; tuned;