2008-08-23 wenzelm 2008-08-23 jars: removed obsolete Java process wrapper (cf. new Pure.jar);
2008-08-23 wenzelm 2008-08-23 obsolete;
2008-08-23 wenzelm 2008-08-23 obsolete -- superceded by Pure.jar (Scala version);
2008-08-23 wenzelm 2008-08-23 updated to Pure.jar;
2008-08-23 wenzelm 2008-08-23 added exec; private posix_prefix;
2008-08-23 wenzelm 2008-08-23 moved class Result into static object, removed dynamic tree method; removed unused Symbol.Interpretation; class Result: added is_raw, is_system; disabled console echo; added interrupt, kill; IsabelleSystem.exec;
2008-08-23 wenzelm 2008-08-23 symbolic message markup; init message: class property;
2008-08-23 wenzelm 2008-08-23 renamed Markup.MALFORMED to Markup.BAD;
2008-08-23 wenzelm 2008-08-23 added position, messages; renamed messages to content, malformed to bad;
2008-08-23 wenzelm 2008-08-23 added messages and process information;
2008-08-23 wenzelm 2008-08-23 Position properties.
2008-08-23 wenzelm 2008-08-23 added General/position.scala;
2008-08-23 wenzelm 2008-08-23 adapted to new IsabelleProcess from Pure.jar; IsabellePlugin.result_content decodes symbols;
2008-08-23 wenzelm 2008-08-23 include ../../classes/Pure.jar;
2008-08-23 nipkow 2008-08-23 added const Rational added more function puzzles
2008-08-23 wenzelm 2008-08-23 YXML.parse_failsafe; removed full_markup, YXML mode (default); renamed output_command to command; renamed output_ML to ML; tuned;
2008-08-23 wenzelm 2008-08-23 shell_prefix: physical /bin/env on Cygwin;
2008-08-23 wenzelm 2008-08-23 removed full_markup mode (default); removed YXML mode (default); added XML mode; message: class attribute, fail for malformed YXML;
2008-08-23 wenzelm 2008-08-23 added parse_failsafe;
2008-08-23 wenzelm 2008-08-23 refer to symbolic Markup;
2008-08-23 wenzelm 2008-08-23 Common markup elements.
2008-08-23 wenzelm 2008-08-23 added General/markup.scala;
2008-08-23 wenzelm 2008-08-23 BadVariable: toString;
2008-08-23 wenzelm 2008-08-23 use java.util.concurrent.LinkedBlockingQueue, which blocks as required; IsabelleProcessException: toString; Result: improved toString; Result: raw markup for stdout/stderr; cmdline: proper executable name, added YXML mode;
2008-08-23 wenzelm 2008-08-23 append_string: proper backslash in character escapes;
2008-08-23 wenzelm 2008-08-23 added getenv; renamed get_setting to getenv_strict; added shell_prefix (for Cygwin);
2008-08-23 wenzelm 2008-08-23 tuned;
2008-08-23 wenzelm 2008-08-23 Isabelle outer syntax.
2008-08-23 wenzelm 2008-08-23 added Tools/isabelle_process.scala, Tools/isabelle_syntax.scala; scalac -deprecation;
2008-08-23 wenzelm 2008-08-23 Isabelle process management -- always reactive due to multi-threaded I/O.
2008-08-23 wenzelm 2008-08-23 renamed DOM to document, add xml version and optional stylesheets;
2008-08-22 wenzelm 2008-08-22 tuned comments; added document object model (DOM);
2008-08-21 wenzelm 2008-08-21 parse_attrib: proper index of name end!
2008-08-21 wenzelm 2008-08-21 tuned parse performance: avoid splitting terminal Y chunk;
2008-08-21 wenzelm 2008-08-21 parse_attrib: more efficient due to indexOf('=');
2008-08-21 wenzelm 2008-08-21 replaced Pattern.split by chunks iterator (more efficient, resembles ML version more closely);
2008-08-21 wenzelm 2008-08-21 tuned comment;
2008-08-21 wenzelm 2008-08-21 added iterator over content;
2008-08-21 wenzelm 2008-08-21 proper ISABELLE_ROOT_JVM on Cygwin;
2008-08-21 wenzelm 2008-08-21 pattern: proper "." not "[.]"! tuned;
2008-08-21 wenzelm 2008-08-21 recode: proper result for unmatched symbols;
2008-08-21 wenzelm 2008-08-21 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);
2008-08-21 wenzelm 2008-08-21 added get_setting; removed obsolete ISABELLE_HOME, ISABELLE_HOME_USER; added platform_path, which expands variables and performs basic cygwin conversion;
2008-08-21 wenzelm 2008-08-21 read_symbols: proper IsabelleSystem.platform_path;
2008-08-21 wenzelm 2008-08-21 added ISABELLE_ROOT_JVM; removed obsolete ISABELLE_HOME_JVM, ISABELLE_HOME_USER_JVM;
2008-08-18 ballarin 2008-08-18 Theorem on polynomial division and lemmas.
2008-08-17 wenzelm 2008-08-17 removed parse_element -- no longer fits to liberal parse!
2008-08-17 wenzelm 2008-08-17 Minimalistic XML tree values.
2008-08-17 wenzelm 2008-08-17 Efficient text representation of XML trees.
2008-08-17 wenzelm 2008-08-17 added General/xml.scala, General/yxml.scala;
2008-08-17 wenzelm 2008-08-17 decode escaped symbols as well; tuned;
2008-08-16 wenzelm 2008-08-16 tuned Recoder;
2008-08-16 wenzelm 2008-08-16 more private fields;
2008-08-16 wenzelm 2008-08-16 jar: invoke scaladoc;
2008-08-16 wenzelm 2008-08-16 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;
2008-08-16 wenzelm 2008-08-16 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;
2008-08-16 wenzelm 2008-08-16 jar target: removed jvmpath -- does not work on Linux!?
2008-08-16 wenzelm 2008-08-16 add scala-library.jar if available;
2008-08-16 wenzelm 2008-08-16 jar target: jvmpath;
2008-08-16 wenzelm 2008-08-16 Isabelle system support.