src/Tools/jEdit/src/jedit/StateViewDockable.scala
2009-12-07 wenzelm 2009-12-07 obsolete;
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 basic setup for Cobra HTML renderer;
2009-08-27 immler 2009-08-27 state_update global in Plugin
2009-04-20 immler 2009-04-20 Anti-aliasing is now controlled via the smoothing threshhold
2008-12-29 wenzelm 2008-12-29 replaced EventSource by EventBus; misc tuning;
2008-12-27 wenzelm 2008-12-27 replaced static IsabelleSystem by Isabelle.system;
2008-12-27 wenzelm 2008-12-27 renamed object Plugin to Isabelle; renamed Plugin.self to Isabelle.plugin; renamed Isabelle.plugin.symbols to Isabelle.symbols;
2008-12-21 wenzelm 2008-12-21 proper import isabelle.renderer.UserAgent;
2008-12-21 wenzelm 2008-12-21 renamed Plugin.plugin to Plugin.self; tuned Plugin.font handling;
2008-12-21 wenzelm 2008-12-21 basic setup of anti-aliasing, according to jEdit property; tuned;
2008-12-20 wenzelm 2008-12-20 setPreferredSize for floating dockables;
2008-12-19 wenzelm 2008-12-19 added some headers and comments;
2008-12-18 immler 2008-12-18 restructured: independent provers in different buffers
2008-12-07 immler 2008-12-07 handle statuses in Command
2008-11-18 immler 2008-11-18 copy-paste for XHTMLPanels
2008-11-13 immler 2008-11-13 playing with xsymbols
2008-11-11 immler 2008-11-11 copying selection to clipboard
2008-11-10 immler 2008-11-10 selecting text of state view
2008-11-03 immler 2008-11-03 UserAgent as seperate class, moved stylesheets, baseURL to UserAgent
2008-10-19 wenzelm 2008-10-19 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;