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;

timeit message;

treat *all* JVM throwables as "exceptions", cf. ML version;

simplified Text_Edit -- deflated class hierarchy;

Outer_Lex.is_ignored;

merged

merged

proper types for user-defined syntax

single quote is not a valid letter any more

simple tests

boolean operators for scala

elements with start entry;

plain object;

tuned signature;

tuned;

misc tuning;

Swing_Thread.future: plain Future.value if this is already Swing;

added find_files;

pass build error code;

tuned isatest ML_OPTIONS;

merged

a primitive scala serializer

fixed type error;

remove overloaded star operator, use specific vector / matrix operators

finite annotation on cartesian product is now implicit.

added syntax translation to automatically add finite typeclass to index type of cartesian product type