respect current offsets

modified netbeans build such that dist can be used as settings-directory for jedit; adapted explicit makedist

merge

take content of asset for description in status-view of Sidekick

eliminated Command.Status.REMOVE/REMOVED; support rudiments of new document protocol: running flag, edits/edit message; use plain toInt; misc tuning and rearrangement;

eliminated Command.Status.REMOVE/REMOVED; added state_id; refined add_result: running flag;

eliminated Command.Status.REMOVE/REMOVED;

use plain toInt;

ProofDocument: pass is_command_keyword directly, not via full-blown Prover object;

eliminated Prover.start -- part of main constructor;

tuned whitespace;

added Isabelle.default_logic;

beginnings of global document state;

state_results: separate buffer for messages from running command; result_document: append all messages; misc tuning;

misc tuning;

Prover.start: determine logic in one place;

more explicit indication of mutable collections;

renamed getNextCommandContaining to find_command_at; more de-camelization;

Command: added name field and toString;

misc tuning -- de-camelization;

case class Changed;

Token: plain val kind;

Command: turned content into plain val;

use Symbol.Interpretation from IsabelleSystem instance;

replaced java.util.Property by plain association list; handle_result: do not parse ignored messages; tuned;

use IsabelleProcess.parse_message (with global Isabelle.system instance);

use Symbol.Interpretation from IsabelleSystem instance;

tuned handling of accumulated results;

joined Document with ProofDocument; misc tuning;

eliminated explicit method equals, which is always behind == / != anyway in Scala;

superficial tuning;

turned Token.Kind into Enumeration;

replaced type parameter C by Command (thanks to globally simultaneous scope);

simplified implicit convertion Int => Position;

merged

removed jEdit/build-support (belongs to src distribution);

IsabelleProcess.parse_message (message markup within Scala layer);

tuned import;

implemented IsabelleSideKickParser.complete removed Plugin.prover (to avoid NoSuchElementException)

tuned;

unified with dynamic version;

some more token kinds, based on classification in http://isabelle.in.tum.de/repos/isabelle/file/b81ae415873d/src/Pure/Isar/outer_keyword.scala

decl_info: cover both commands and keywords, with kind; command_decls: maintain kinds as well (Map);

tuned;

failsafe mkdir;

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