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

removed System.err...

copy-paste for XHTMLPanels

register to buffer all messages

done

fine grained scrolling

removed senseless lines

restructured scroller

renamed to message_panel

playing with xsymbols

use utf-8 charset encoding

copying selection to clipboard

selecting text of state view

worked over autoscrolling

removed imports

minimum height for panels, immediate scrolling and correct waiting

scroll to first message immediately; potential later messages periodically

auto-scrolling

prepared for automatic scrolling

cleaned up a bit, scrolling arbitrary heights (incremental rendering)

UserAgent as seperate class, moved stylesheets, baseURL to UserAgent

using 'dist' directory for jEdit-settings => find Isabelle-plugin directly

fine scrolling principally possible

calculate preferred sizes only when needed

renamed class

renamed

reverted and ignoring build.xml

faster resizing, unlimited caching(but cache is cleared on resize)

reverted build.xml

absolute positioning according to preferred size of panels, scrolling one message per unit rendered messages are cached

correct resizing of xhtml-panels

LazyScroller: rendering messages only when needed - very basic functionallity

a version of Dixon's ML mode with less ambitious indentation;

Misc development notes.

added jvmpath conversion for Cygwin;

hint on -settings=...;

renamed VFS protocol prefix from "isa:" to "isabelle:";

explicit home path for default file -- more robust; pass -settings=... here, not via Isabelle settings -- more robust;

disabled tracing;

essential default properties for jEdit;

Isabelle/jEdit interface wrapper.

make Isabelle/jEdit distribution;

refined application.args;

reading command_decls from 'new' protocol

added target -pre-jar which copies jEdit plugin to be included in jar;

added application.args (Why does it end up in pricate properties?);

tuned whitespace;

fixed jEdit version;

requires Java from Sun; hints on running;

Requirements to build from sources.

removed private properties;

basic setup for running jEdit;

deactivated tests due to lack of testng installation;

basic Netbeans project setup;

explicit result type for _listFiles;

original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;

tuned message;

clarified Symbol.is_plain/is_wellformed -- is_closed was rejecting plain backslashes;

Text_Edit.toString;