src/Pure/library.scala
23 months ago wenzelm 2017-08-06 tuned signature;
2017-05-26 wenzelm 2017-05-26 clarified modules;
2017-05-22 wenzelm 2017-05-22 clarified signature;
2017-05-07 wenzelm 2017-05-07 more operations;
2017-05-04 wenzelm 2017-05-04 more permissive, e.g. for system operations as in 678e00851cfb;
2017-05-04 wenzelm 2017-05-04 prefer standard getOrElse;
2017-05-04 wenzelm 2017-05-04 more operations;
2017-04-28 wenzelm 2017-04-28 tuned;
2017-01-11 wenzelm 2017-01-11 tuned;
2017-01-07 wenzelm 2017-01-07 Line.Document consists of independently allocated strings; tuned signature;
2016-10-24 wenzelm 2016-10-24 discontinued unused / untested distinction of separate PIDE modules;
2016-10-23 wenzelm 2016-10-23 support for XML as HTML; tuned;
2016-10-14 wenzelm 2016-10-14 more general operations;
2016-10-06 wenzelm 2016-10-06 tuned signature;
2016-10-03 wenzelm 2016-10-03 clarified modules; afford explicit string composition in terminate_lines;
2016-09-20 wenzelm 2016-09-20 tuned -- fewer warnings;
2016-09-14 wenzelm 2016-09-14 maintain abbrevs in canonical reverse order;
2016-09-05 wenzelm 2016-09-05 support resource management;
2016-09-04 wenzelm 2016-09-04 support for (single) primary key; more operations;
2016-09-02 wenzelm 2016-09-02 simplified;
2016-08-30 wenzelm 2016-08-30 some support for merge of Isabelle/jEdit shortcuts wrt. jEdit keymap;
2016-03-10 wenzelm 2016-03-10 upgrade "isabelle build" to Isabelle/Scala;
2016-03-01 wenzelm 2016-03-01 clarified modules;
2015-12-21 wenzelm 2015-12-21 clarified length of block with pre-existant forced breaks;
2015-05-03 wenzelm 2015-05-03 misc tuning, based on warnings by IntelliJ IDEA;
2015-03-14 wenzelm 2015-03-14 more explicit exception User_Error, with value-oriented equality;
2015-01-01 wenzelm 2015-01-01 tuned;
2014-10-06 wenzelm 2014-10-06 completion for bibtex entries;
2014-08-12 wenzelm 2014-08-12 more compact representation of special string values;
2014-07-31 wenzelm 2014-07-31 more general notion of "user error" including empty message -- NB: Output.error_message needs non-empty string to emit anything;
2014-05-03 wenzelm 2014-05-03 support for path completion based on file-system content;
2014-04-25 wenzelm 2014-04-25 tuned signature -- separate pool for JFuture tasks, which can be canceled;
2014-04-25 wenzelm 2014-04-25 unused;
2014-04-24 wenzelm 2014-04-24 more canonical list operations;
2014-04-24 wenzelm 2014-04-24 canonical list operations, as in ML; avoid odd mutable data structures;
2014-04-23 wenzelm 2014-04-23 updated according to scala-2.11.0 recommendations;
2014-04-16 wenzelm 2014-04-16 more specific support for sequence of words;
2014-04-16 wenzelm 2014-04-16 tuned signature -- separate module Word;
2014-04-14 wenzelm 2014-04-14 eliminated somewhat pointless locale parameter;
2014-04-12 wenzelm 2014-04-12 some case-mangling; clarified use of locale;
2014-03-07 wenzelm 2014-03-07 more detailed description of completion items;
2014-01-18 wenzelm 2014-01-18 support for nested text cartouches; clarified Symbol.is_symbolic: exclude \<open> and \<close>;
2013-11-21 wenzelm 2013-11-21 proper concatenation of messages;
2013-06-25 wenzelm 2013-06-25 slightly improved "isabelle doc" based on Isabelle/Scala; updated documentation of "isabelle display";
2013-05-14 wenzelm 2013-05-14 more frugal line termination, to cope with huge log files (see also 016cb7d8f297);
2013-05-14 wenzelm 2013-05-14 more scalable Library.separate -- NB: JVM has tiny fixed-size stack;
2013-04-04 wenzelm 2013-04-04 tuned signature -- concentrate GUI tools;
2013-01-12 wenzelm 2013-01-12 tuned font size, notably for current HD displays;
2013-01-12 wenzelm 2013-01-12 tuned signature;
2013-01-12 wenzelm 2013-01-12 immediate theory progress for build_dialog; more formal Bash_Result -- accumulate output as lines;
2012-12-14 wenzelm 2012-12-14 tuned error dialog;
2012-12-12 wenzelm 2012-12-12 improved coupling of zoom_box and scale; explicit rescale(1.0) on startup;
2012-12-07 wenzelm 2012-12-07 explore theory_body_files via future, for improved performance; further internalization of header errors;
2012-11-30 wenzelm 2012-11-30 renamed dockable "Prover Session" to "Theories"; more uniform Library.lowercase/uppercase;
2012-09-20 wenzelm 2012-09-20 more management of Invoke_Scala tasks;
2012-09-10 wenzelm 2012-09-10 manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
2012-08-29 wenzelm 2012-08-29 clarified separated_chunks vs. space_explode;
2012-07-24 wenzelm 2012-07-24 more general notion of user ERROR (cf. 44f56fe01528);
2012-07-22 wenzelm 2012-07-22 parallel scheduling of jobs; misc tuning;
2012-07-20 wenzelm 2012-07-20 proper commas_quote;