2014-01-18 |
wenzelm |
support for nested text cartouches;
|
file |
diff |
annotate
|
2013-11-21 |
wenzelm |
proper concatenation of messages;
|
file |
diff |
annotate
|
2013-06-25 |
wenzelm |
slightly improved "isabelle doc" based on Isabelle/Scala;
|
file |
diff |
annotate
|
2013-05-14 |
wenzelm |
more frugal line termination, to cope with huge log files (see also 016cb7d8f297);
|
file |
diff |
annotate
|
2013-05-14 |
wenzelm |
more scalable Library.separate -- NB: JVM has tiny fixed-size stack;
|
file |
diff |
annotate
|
2013-04-04 |
wenzelm |
tuned signature -- concentrate GUI tools;
|
file |
diff |
annotate
|
2013-01-12 |
wenzelm |
tuned font size, notably for current HD displays;
|
file |
diff |
annotate
|
2013-01-12 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2013-01-12 |
wenzelm |
immediate theory progress for build_dialog;
|
file |
diff |
annotate
|
2012-12-14 |
wenzelm |
tuned error dialog;
|
file |
diff |
annotate
|
2012-12-12 |
wenzelm |
improved coupling of zoom_box and scale;
|
file |
diff |
annotate
|
2012-12-07 |
wenzelm |
explore theory_body_files via future, for improved performance;
|
file |
diff |
annotate
|
2012-11-30 |
wenzelm |
renamed dockable "Prover Session" to "Theories";
|
file |
diff |
annotate
|
2012-09-20 |
wenzelm |
more management of Invoke_Scala tasks;
|
file |
diff |
annotate
|
2012-09-10 |
wenzelm |
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
|
file |
diff |
annotate
|
2012-08-29 |
wenzelm |
clarified separated_chunks vs. space_explode;
|
file |
diff |
annotate
|
2012-07-24 |
wenzelm |
more general notion of user ERROR (cf. 44f56fe01528);
|
file |
diff |
annotate
|
2012-07-22 |
wenzelm |
parallel scheduling of jobs;
|
file |
diff |
annotate
|
2012-07-20 |
wenzelm |
proper commas_quote;
|
file |
diff |
annotate
|
2012-07-19 |
wenzelm |
tuned width;
|
file |
diff |
annotate
|
2012-05-24 |
wenzelm |
less warning in scala-2.10.0-M3;
|
file |
diff |
annotate
|
2012-05-04 |
wenzelm |
some attempts to make critical errors fit on screen;
|
file |
diff |
annotate
|
2012-03-17 |
wenzelm |
misc tuning to accomodate scala-2.10.0-M2;
|
file |
diff |
annotate
|
2012-02-27 |
wenzelm |
more explicit development graph;
|
file |
diff |
annotate
|
2012-02-24 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
2012-01-12 |
wenzelm |
added cat_lines convenience;
|
file |
diff |
annotate
|
2011-12-16 |
wenzelm |
prefer sorting from Scala library;
|
file |
diff |
annotate
|
2011-11-29 |
wenzelm |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
file |
diff |
annotate
|
2011-11-28 |
wenzelm |
explicit indication of modules for independent Scala library;
|
file |
diff |
annotate
|
2011-11-28 |
wenzelm |
tuned signature (according to ML version);
|
file |
diff |
annotate
|
2011-10-22 |
wenzelm |
class Time as abstract datatype;
|
file |
diff |
annotate
|
2011-09-17 |
wenzelm |
graph traversal in topological order;
|
file |
diff |
annotate
|
2011-09-01 |
wenzelm |
more flexible sorting;
|
file |
diff |
annotate
|
2011-08-31 |
wenzelm |
some support for theory status overview;
|
file |
diff |
annotate
|
2011-08-29 |
wenzelm |
some dialog for auto loading of required files (still inactive);
|
file |
diff |
annotate
|
2011-08-12 |
wenzelm |
clarified Exn.message;
|
file |
diff |
annotate
|
2011-07-11 |
wenzelm |
tuned error messages;
|
file |
diff |
annotate
|
2011-07-11 |
wenzelm |
tuned error message;
|
file |
diff |
annotate
|
2011-07-05 |
wenzelm |
prefer space_explode/split_lines as in Isabelle/ML;
|
file |
diff |
annotate
|
2011-07-04 |
wenzelm |
pervasive Basic_Library in Scala;
|
file |
diff |
annotate
|
2011-06-29 |
wenzelm |
basic operations on lists and strings;
|
file |
diff |
annotate
|
2011-06-18 |
wenzelm |
tuned -- Map.empty serves as partial function;
|
file |
diff |
annotate
|
2010-12-01 |
wenzelm |
more abstract/uniform handling of time, preferring seconds as Double;
|
file |
diff |
annotate
|
2010-11-10 |
wenzelm |
Sidekick block asset: show first line only;
|
file |
diff |
annotate
|
2010-08-23 |
wenzelm |
module for simplified thread operations (Scala version);
|
file |
diff |
annotate
|
2010-08-22 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2010-08-10 |
wenzelm |
added Library.thread_actor -- thread as actor;
|
file |
diff |
annotate
|
2010-08-07 |
wenzelm |
simple_dialog: allow scala.swing.Component as well;
|
file |
diff |
annotate
|
2010-07-03 |
wenzelm |
more precise timing;
|
file |
diff |
annotate
|
2010-05-21 |
wenzelm |
tuned zoom_box;
|
file |
diff |
annotate
|
2010-05-21 |
wenzelm |
added Library.undefined (in Scala);
|
file |
diff |
annotate
|
2010-05-20 |
wenzelm |
added somewhat generic zoom box;
|
file |
diff |
annotate
|
2010-05-10 |
wenzelm |
simple dialogs: ensure Swing thread;
|
file |
diff |
annotate
|
2010-05-06 |
wenzelm |
added separate;
|
file |
diff |
annotate
|
2010-05-06 |
wenzelm |
slightly more general Library.chunks;
|
file |
diff |
annotate
|
2010-01-11 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
2010-01-11 |
wenzelm |
timeit message;
|
file |
diff |
annotate
|
2009-12-31 |
wenzelm |
added simple dialogs;
|
file |
diff |
annotate
|
2009-12-28 |
wenzelm |
moved Library.decode_permissive_utf8 to Isabelle_System;
|
file |
diff |
annotate
|
2009-12-28 |
wenzelm |
higher-order treatment of temporary files;
|
file |
diff |
annotate
|