2015-04-01 wenzelm 2015-04-01 added isabelle build option -k, for fast off-line checking of theory sources;
2015-03-25 wenzelm 2015-03-25 clarified position;
2015-03-17 wenzelm 2015-03-17 tight span for theory header, which is relevant for error positions (including semantic completion);
2015-03-16 wenzelm 2015-03-16 suppress semantic completion in errors of batch build -- avoid junk in log files;
2015-03-15 wenzelm 2015-03-15 clarified span position;
2015-03-14 wenzelm 2015-03-14 position parser as in ML;
2015-01-25 wenzelm 2015-01-25 provide session_graph.pdf via Isabelle/Scala;
2015-01-25 wenzelm 2015-01-25 support for session graph from Scala side;
2015-01-15 wenzelm 2015-01-15 more informative build_theories_result: cumulative Runtime.exn_message;
2015-01-14 wenzelm 2015-01-14 more type-safe handler interface; proper progress for Build.Handler;
2015-01-14 wenzelm 2015-01-14 clarified build_theories: proper protocol handler;
2015-01-08 wenzelm 2015-01-08 tuned;
2014-12-11 wenzelm 2014-12-11 added Par_List in Scala, in accordance to ML version; system property "isabelle.threads" determines size of Scala thread pool, like system option "threads" for ML; avoid ".par" framework with its hard-wired thread pool, which also has problems with cancellation; tuned;
2014-12-03 wenzelm 2014-12-03 tuned signature;
2014-11-07 wenzelm 2014-11-07 plain value Keywords.keywords, which might be used outside theory for bootstrap purposes; plain value Outer_Syntax within theory: parsing requires current theory context; clarified name of Keyword.is_literal according to its semantics; eliminated pointless type Keyword.T; simplified @{command_spec}; clarified bootstrap keywords and syntax: take it as basis instead of side-branch;
2014-11-06 wenzelm 2014-11-06 simplified keyword kinds; more explicit bootstrap syntax;
2014-11-05 wenzelm 2014-11-05 tuned signature;
2014-08-13 wenzelm 2014-08-13 tuned comments;
2014-05-07 wenzelm 2014-05-07 tuned signature;
2014-05-06 wenzelm 2014-05-06 tuned;
2014-05-05 wenzelm 2014-05-05 expose interrupts more like ML version, but not in managed bash processes of Build;
2014-05-05 wenzelm 2014-05-05 tuned signature;
2014-05-05 wenzelm 2014-05-05 tuned signature;
2014-05-02 wenzelm 2014-05-02 more robust interrupt handling for Scala_Console, which uses JVM Thread.interrupt instead of POSIX SIGINT;
2014-05-02 wenzelm 2014-05-02 prefer scala.Console with its support for thread-local redirection;
2014-05-02 wenzelm 2014-05-02 discontinued adhoc check (see also ea8343187225);
2014-04-30 wenzelm 2014-04-30 some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
2014-04-29 wenzelm 2014-04-29 more systematic Isabelle output, like in classic Isabelle/ML (without markup);
2014-04-29 wenzelm 2014-04-29 tuned signature -- accomodate operations of ROOT files;
2014-04-29 wenzelm 2014-04-29 tuned -- prefer Isabelle/Scala operations;
2014-04-23 wenzelm 2014-04-23 interruptible dependencies, which can take a few seconds;
2014-04-23 wenzelm 2014-04-23 more abstract Exn.Interrupt and POSIX return code;
2014-04-11 wenzelm 2014-04-11 explicit 'document_files' in session ROOT specifications; clarified Isabelle_System.copy_file(_base): preserve file-attributes and local directory hierarchy;
2014-04-08 wenzelm 2014-04-08 more precise token positions;
2014-04-05 wenzelm 2014-04-05 more standard Isabelle_System.tmp_file and tmp_dir operations, in accordance to ML version;
2014-04-03 wenzelm 2014-04-03 more abstract Prover.Syntax, as proposed by Carst Tankink;
2014-04-03 wenzelm 2014-04-03 tuned signature (see also 0850d43cb355);
2014-04-02 wenzelm 2014-04-02 more explicit iterator terminology, in accordance to Scala 2.8 library; clarified Graph.keys_iterator vs. Graph.keys, with subtle change of semantics; tuned output;
2014-03-18 wenzelm 2014-03-18 clarifed module name;
2014-02-20 wenzelm 2014-02-20 tuned imports;
2014-02-14 wenzelm 2014-02-14 more integrity checks of theory names vs. full node names;
2014-01-06 wenzelm 2014-01-06 more informative error message;
2013-11-21 wenzelm 2013-11-21 actually expose errors of cumulative theory dependencies; more informative error messages;
2013-11-18 wenzelm 2013-11-18 clarified Thy_Load.node_name;
2013-09-16 wenzelm 2013-09-16 adhoc check of ML sources, in addition to thy files already covered in Thy_Load;
2013-06-24 wenzelm 2013-06-24 improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first; tuned signature;
2013-05-22 wenzelm 2013-05-22 tuned signature;
2013-05-22 wenzelm 2013-05-22 more informative Build.build_results; tuned;
2013-05-18 wenzelm 2013-05-18 discontinued odd workaround for scala-2.10.0-RC1;
2013-05-17 wenzelm 2013-05-17 timeout counts as regular error, with rc = 1 (cf. special Exn.Interrupt vs. regular TimeLimit.TimeOut in Isabelle/ML);
2013-05-14 wenzelm 2013-05-14 tuned signature;
2013-05-14 wenzelm 2013-05-14 more robust load_timings: ignore JVM errors such as java.lang.OutOfMemoryError;
2013-05-14 wenzelm 2013-05-14 more frugal line termination, to cope with huge log files (see also 016cb7d8f297);
2013-05-13 wenzelm 2013-05-13 limit build process output, to avoid bombing Isabelle/Scala process by ill-behaved jobs (e.g. Containers in AFP/9025435b29cf);
2013-04-09 wenzelm 2013-04-09 tuned signature;
2013-03-27 wenzelm 2013-03-27 discontinued obsolete parallel_proofs_reuse_timing;
2013-03-13 wenzelm 2013-03-13 more accurate handling of global browser info at the very end (without races), subject to no_build and info.browser_info;
2013-03-12 wenzelm 2013-03-12 include session description in chapter index; prefer alphabetical order;
2013-03-12 wenzelm 2013-03-12 discontinued "isabelle usedir" option -r (reset session path); simplified internal session identification: chapter / name; clarified chapter index (of sessions) vs. session index (of theories); discontinued "up" links, for improved modularity also wrt. partial browser_info (users can use "back" within the browser); removed obsolete session parent_path;
2013-03-11 wenzelm 2013-03-11 support for 'chapter' specifications within session ROOT;