| Thu, 24 Apr 2014 00:29:55 +0200 |
wenzelm |
canonical list operations, as in ML;
|
file |
diff |
annotate
|
| Wed, 23 Apr 2014 14:16:08 +0200 |
wenzelm |
updated according to scala-2.11.0 recommendations;
|
file |
diff |
annotate
|
| Wed, 16 Apr 2014 11:52:26 +0200 |
wenzelm |
more specific support for sequence of words;
|
file |
diff |
annotate
|
| Wed, 16 Apr 2014 09:38:40 +0200 |
wenzelm |
tuned signature -- separate module Word;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2014 09:24:47 +0200 |
wenzelm |
eliminated somewhat pointless locale parameter;
|
file |
diff |
annotate
|
| Sat, 12 Apr 2014 21:38:38 +0200 |
wenzelm |
some case-mangling;
|
file |
diff |
annotate
|
| Fri, 07 Mar 2014 14:37:25 +0100 |
wenzelm |
more detailed description of completion items;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2014 19:15:12 +0100 |
wenzelm |
support for nested text cartouches;
|
file |
diff |
annotate
|
| Thu, 21 Nov 2013 17:45:37 +0100 |
wenzelm |
proper concatenation of messages;
|
file |
diff |
annotate
|
| Tue, 25 Jun 2013 12:17:19 +0200 |
wenzelm |
slightly improved "isabelle doc" based on Isabelle/Scala;
|
file |
diff |
annotate
|
| Tue, 14 May 2013 15:40:18 +0200 |
wenzelm |
more frugal line termination, to cope with huge log files (see also 016cb7d8f297);
|
file |
diff |
annotate
|
| Tue, 14 May 2013 13:46:33 +0200 |
wenzelm |
more scalable Library.separate -- NB: JVM has tiny fixed-size stack;
|
file |
diff |
annotate
|
| Thu, 04 Apr 2013 17:58:47 +0200 |
wenzelm |
tuned signature -- concentrate GUI tools;
|
file |
diff |
annotate
|
| Sat, 12 Jan 2013 20:13:34 +0100 |
wenzelm |
tuned font size, notably for current HD displays;
|
file |
diff |
annotate
|
| Sat, 12 Jan 2013 17:28:07 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 12 Jan 2013 15:00:48 +0100 |
wenzelm |
immediate theory progress for build_dialog;
|
file |
diff |
annotate
|
| Fri, 14 Dec 2012 21:50:21 +0100 |
wenzelm |
tuned error dialog;
|
file |
diff |
annotate
|
| Wed, 12 Dec 2012 14:54:48 +0100 |
wenzelm |
improved coupling of zoom_box and scale;
|
file |
diff |
annotate
|
| Fri, 07 Dec 2012 13:38:32 +0100 |
wenzelm |
explore theory_body_files via future, for improved performance;
|
file |
diff |
annotate
|
| Fri, 30 Nov 2012 21:30:24 +0100 |
wenzelm |
renamed dockable "Prover Session" to "Theories";
|
file |
diff |
annotate
|
| Thu, 20 Sep 2012 19:23:05 +0200 |
wenzelm |
more management of Invoke_Scala tasks;
|
file |
diff |
annotate
|
| Mon, 10 Sep 2012 15:20:50 +0200 |
wenzelm |
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
|
file |
diff |
annotate
|
| Wed, 29 Aug 2012 12:55:41 +0200 |
wenzelm |
clarified separated_chunks vs. space_explode;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 17:33:19 +0200 |
wenzelm |
more general notion of user ERROR (cf. 44f56fe01528);
|
file |
diff |
annotate
|
| Sun, 22 Jul 2012 23:31:57 +0200 |
wenzelm |
parallel scheduling of jobs;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 12:00:08 +0200 |
wenzelm |
proper commas_quote;
|
file |
diff |
annotate
|
| Thu, 19 Jul 2012 11:54:19 +0200 |
wenzelm |
tuned width;
|
file |
diff |
annotate
|
| Thu, 24 May 2012 22:07:00 +0200 |
wenzelm |
less warning in scala-2.10.0-M3;
|
file |
diff |
annotate
|
| Fri, 04 May 2012 15:58:27 +0200 |
wenzelm |
some attempts to make critical errors fit on screen;
|
file |
diff |
annotate
|
| Sat, 17 Mar 2012 17:44:29 +0100 |
wenzelm |
misc tuning to accomodate scala-2.10.0-M2;
|
file |
diff |
annotate
|
| Mon, 27 Feb 2012 23:35:11 +0100 |
wenzelm |
more explicit development graph;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2012 22:15:19 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Thu, 12 Jan 2012 20:58:17 +0100 |
wenzelm |
added cat_lines convenience;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2011 13:37:08 +0100 |
wenzelm |
prefer sorting from Scala library;
|
file |
diff |
annotate
|
| Tue, 29 Nov 2011 21:29:53 +0100 |
wenzelm |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 22:18:19 +0100 |
wenzelm |
explicit indication of modules for independent Scala library;
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 20:31:53 +0100 |
wenzelm |
tuned signature (according to ML version);
|
file |
diff |
annotate
|
| Sat, 22 Oct 2011 23:29:11 +0200 |
wenzelm |
class Time as abstract datatype;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2011 00:05:22 +0200 |
wenzelm |
graph traversal in topological order;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2011 14:10:52 +0200 |
wenzelm |
more flexible sorting;
|
file |
diff |
annotate
|
| Wed, 31 Aug 2011 17:36:10 +0200 |
wenzelm |
some support for theory status overview;
|
file |
diff |
annotate
|
| Mon, 29 Aug 2011 16:38:56 +0200 |
wenzelm |
some dialog for auto loading of required files (still inactive);
|
file |
diff |
annotate
|
| Fri, 12 Aug 2011 11:41:26 +0200 |
wenzelm |
clarified Exn.message;
|
file |
diff |
annotate
|
| Mon, 11 Jul 2011 23:15:27 +0200 |
wenzelm |
tuned error messages;
|
file |
diff |
annotate
|
| Mon, 11 Jul 2011 17:11:54 +0200 |
wenzelm |
tuned error message;
|
file |
diff |
annotate
|
| Tue, 05 Jul 2011 21:32:48 +0200 |
wenzelm |
prefer space_explode/split_lines as in Isabelle/ML;
|
file |
diff |
annotate
|
| Mon, 04 Jul 2011 16:51:45 +0200 |
wenzelm |
pervasive Basic_Library in Scala;
|
file |
diff |
annotate
|
| Wed, 29 Jun 2011 23:43:48 +0200 |
wenzelm |
basic operations on lists and strings;
|
file |
diff |
annotate
|
| Sat, 18 Jun 2011 17:32:13 +0200 |
wenzelm |
tuned -- Map.empty serves as partial function;
|
file |
diff |
annotate
|
| Wed, 01 Dec 2010 20:34:40 +0100 |
wenzelm |
more abstract/uniform handling of time, preferring seconds as Double;
|
file |
diff |
annotate
|
| Wed, 10 Nov 2010 20:43:22 +0100 |
wenzelm |
Sidekick block asset: show first line only;
|
file |
diff |
annotate
|
| Mon, 23 Aug 2010 16:07:18 +0200 |
wenzelm |
module for simplified thread operations (Scala version);
|
file |
diff |
annotate
|
| Sun, 22 Aug 2010 22:09:14 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 10 Aug 2010 12:09:53 +0200 |
wenzelm |
added Library.thread_actor -- thread as actor;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 23:02:19 +0200 |
wenzelm |
simple_dialog: allow scala.swing.Component as well;
|
file |
diff |
annotate
|
| Sat, 03 Jul 2010 20:36:30 +0200 |
wenzelm |
more precise timing;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 23:19:27 +0200 |
wenzelm |
tuned zoom_box;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 11:50:19 +0200 |
wenzelm |
added Library.undefined (in Scala);
|
file |
diff |
annotate
|
| Thu, 20 May 2010 23:19:28 +0200 |
wenzelm |
added somewhat generic zoom box;
|
file |
diff |
annotate
|
| Mon, 10 May 2010 23:46:49 +0200 |
wenzelm |
simple dialogs: ensure Swing thread;
|
file |
diff |
annotate
|