pattern: proper "." not "[.]"! tuned;

recode: proper result for unmatched symbols;

more robust pattern: look at longer matches first, added catch-all case; more private fields; reworked Recoder: more direct char/string operations, avoids inefficiency of large alternatives (java.util.regex does not optimize regexps);

added get_setting; removed obsolete ISABELLE_HOME, ISABELLE_HOME_USER; added platform_path, which expands variables and performs basic cygwin conversion;

read_symbols: proper IsabelleSystem.platform_path;

added ISABELLE_ROOT_JVM; removed obsolete ISABELLE_HOME_JVM, ISABELLE_HOME_USER_JVM;

Theorem on polynomial division and lemmas.

removed parse_element -- no longer fits to liberal parse!

Minimalistic XML tree values.

Efficient text representation of XML trees.

added General/xml.scala, General/yxml.scala;

decode escaped symbols as well; tuned;

tuned Recoder;

more private fields;

jar: invoke scaladoc;

tuned comments; simplified symbol pattern presentation: no need to keep source strings, canonical ofString does the job; auxiliary class Recoder; proper implementation of Interpretation.decode/encode;

use scala.collection.jcl.HashMap, which seems to be more efficient; char_pattern: proper matching of surrogate unicode characters, those outside the Basic Multilingual Plane; class Interpretation: misc reorganization, more serious preparation of patterns and tables;

jar target: removed jvmpath -- does not work on Linux!?

add scala-library.jar if available;

jar target: jvmpath;

Isabelle system support.

reading symbol interpretation tables;

added Tools/isabelle_system.scala;

removed unused usage;

more robust handling of directory layout variants;

refined scala/java wrappers via isatool;

tuned abbrevs;

added ISABELLE_SCALA, ISABELLE_JAVA;

added ISABELLE_HOME_JVM;

proper jvmpath for cygwin;