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
|