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

Made finite cartesian products finite