maintain Isabelle properties via object Isabelle.Property with apply/update methods;

created DynamicTokenMarker included it in ProverSetup and registered at prover

explicitly refer to superclass

added EventBus for new command- or keyword-declarations

removed comment: theory-view registers when created

changed install/uninstall prover on view to private

merged

create folder 'jars' before copying

ability to deactivate buffers

adapted Isar.command;

- renamed Command.Phase to Command.Status (cf. src/Pure/Isar/isar.ML);

tuned;

replaced EventSource by EventBus; misc tuning;

obsolete (cf. isabelle.EventBus in Pure/General/event_bus.scala);

removed debug output;

eliminated hardwired string constants; removed unused allInfo; replaced workerThread by EventBus handler (cf. Isar process results); unified handle_result function, slightly more general/robust patterns; use existing Isar.create_command etc.; tuned;

removed redundant CommandChangeInfo;

command id via Isabelle.plugin; tuned command interface; tuned;

tuned;

added central id generator;

command state color: use PG 4.0 values;

tuned;

superficial tuning; improved comments and sectioning;

use symbolic Markup elements instead of literal strings;

replaced inUIThread by scala-style swing/swing_async combinators;

dynamic instances Isabelle.system, Isabelle.symbols;

use System.getenv temporarily;

replaced static IsabelleSystem by Isabelle.system;

renamed object Plugin to Isabelle; renamed Plugin.self to Isabelle.plugin; renamed Isabelle.plugin.symbols to Isabelle.symbols;

IsabelleSystem.find_logics;

proper import isabelle.renderer.UserAgent;

dummy class to make ant javadoc work;

use Plugin.self.symbols; tuned;

renamed Plugin.plugin to Plugin.self; use Plugin.self.symbols; tuned;

renamed Plugin.plugin to Plugin.self; tuned Plugin.font handling;

renamed Plugin.plugin to Plugin.self; added Symbol.Interpretation (formerly in VFS); tuned Plugin.font handling; tuned;

renamed Plugin.plugin to Plugin.self;

tuned;

renamed isabelle.jedit.UserAgent to isabelle.renderer.UserAgent;

tuned;

basic setup of anti-aliasing, according to jEdit property; tuned;

tuned order of menu items;

renamed isabelle.prover.IsabelleSKParser to isabelle.jedit.IsabelleSideKickParser; tuned;

tuned sidekick properties;

setPreferredSize for floating dockables;

default docking of sidekick and isabelle-state;

more conventional action names;

added author field; adapted isabelle action names; tuned;

regular plugin activation via "defer"; enable sidekick for "isabelle" and "ml" mode, not "text"; tuned;

basic isabelle mode setup;

renamed IsabellePlugin to Isabelle; tuned properties according to http://isabelle.in.tum.de/repos/isabelle/file/b1c6f4563df7/lib/jedit/plugin/Isabelle.props;

misc tuning and adaption according to original IsabelleParser -- cf. http://isabelle.in.tum.de/repos/isabelle/file/b1c6f4563df7/lib/jedit/plugin/isabelle_parser.scala;

obsolete, cf. build.xml and makedist;

MOVABLE="TRUE" reuses existing instance when changing docking position -- cf. http://www.jedit.org/api/org/gjt/sp/jedit/gui/DockableWindowManager.html

updated to 4.3pre16;

removed jEdit sources from target;

more robust handling of FILES with spaces, using bash array variables;

disabled tracing;

misc tuning;

proper spelling of JEDIT_JAVA_OPTIONS; no extra quoting of FILES;

added some headers and comments;

added some headers and comments;

restructured: independent provers in different buffers

added 'delay or ignore'

delayed repainting new phase in buffer and overview; reverted johannes' handling of removed Commands

information on command-phase left of scrollbar (with panel)

information on command-phase left of scrollbar

structure of markup-tree in scala, keep track of swing-nodes in background

MarkupNode instead of DefaultMutableTreeNode and RelativeAsset

interpretation of STATUS messages in one place, deleting inner syntax

no syserr

handle statuses in Command

command property: offset relative to start of command

include Sidekick its dependency ErrorList in dist

removed debugging output

basic tree structure for sidekick

encoloring only details in the current line!

ugly fine-grained buffer markup

Token-functions with type-parameters

moved methods to object Token

arbitrary type for tokens

removed xsymbol converting -> sidekick should do that

revalidate for repainting

merge

adj scrolling

abstract buffers and renderer

use build-nb.xml for "debug" as well;

basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;

updated version of nbproject, as produced by build in Netbeans 6.5;

adapted jar locations;

incorporated NOTES into TODO;

updates for Netbeans 6.5;

pass results to Scroller

replacing xsymbols *after* inserting text

buffer as array

convert eg pasted xsymbols