| Thu, 04 Apr 2013 17:47:28 +0200 |
wenzelm |
separate module "GUI", to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
|
file |
diff |
annotate
|
| Thu, 04 Apr 2013 17:33:04 +0200 |
wenzelm |
separate module Isabelle_Font, to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2013 10:45:47 +0100 |
wenzelm |
actually exit on scalac failure;
|
file |
diff |
annotate
|
| Sun, 24 Mar 2013 16:12:45 +0100 |
wenzelm |
basic support for xz files;
|
file |
diff |
annotate
|
| Sat, 23 Feb 2013 11:27:45 +0100 |
wenzelm |
support for POSIX interrupts (bypassed on Windows);
|
file |
diff |
annotate
|
| Wed, 13 Feb 2013 13:31:38 +0100 |
wenzelm |
file system operations for Graphics2D output;
|
file |
diff |
annotate
|
| Fri, 18 Jan 2013 22:38:34 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 18 Jan 2013 22:31:57 +0100 |
wenzelm |
charts for future task runtime statistics;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 20:42:18 +0100 |
wenzelm |
maintain session index on Scala side, for more determistic results;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 21:02:47 +0100 |
wenzelm |
some support for chart drawing;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 18:03:38 +0100 |
wenzelm |
moved files;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 17:58:53 +0100 |
wenzelm |
moved files;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 16:48:22 +0100 |
wenzelm |
ML runtime statistics: read properties from build log;
|
file |
diff |
annotate
|
| Mon, 31 Dec 2012 14:58:21 +0100 |
wenzelm |
tuned signature -- eliminated obsolete Standard_System;
|
file |
diff |
annotate
|
| Mon, 31 Dec 2012 13:34:47 +0100 |
wenzelm |
recovered generic PIDE build;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2012 14:19:44 +0100 |
wenzelm |
basic wrapper for session build dialog;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 20:17:04 +0100 |
wenzelm |
explicit module UTF8;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 19:49:24 +0100 |
wenzelm |
Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
|
file |
diff |
annotate
|
| Sat, 20 Oct 2012 17:15:40 +0200 |
wenzelm |
extra jar for scala-2.10.0-RC1;
|
file |
diff |
annotate
|
| Mon, 01 Oct 2012 20:35:09 +0200 |
wenzelm |
removed unused module Blob;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2012 21:16:33 +0200 |
wenzelm |
minimal component and build setup for graphview;
|
file |
diff |
annotate
|
| Wed, 19 Sep 2012 21:07:09 +0200 |
wenzelm |
JavaFX is inactive by default;
|
file |
diff |
annotate
|
| Tue, 11 Sep 2012 22:54:12 +0200 |
wenzelm |
provide color values via options;
|
file |
diff |
annotate
|
| Wed, 05 Sep 2012 20:54:40 +0200 |
wenzelm |
eliminated potentially confusing terminology of Scala "layer";
|
file |
diff |
annotate
|
| Sun, 02 Sep 2012 21:24:33 +0200 |
wenzelm |
proper classpath on windows;
|
file |
diff |
annotate
|
| Sun, 02 Sep 2012 21:07:50 +0200 |
wenzelm |
proper classpath for Java FX;
|
file |
diff |
annotate
|
| Sun, 02 Sep 2012 21:01:11 +0200 |
wenzelm |
basic setup for HTML5 panel;
|
file |
diff |
annotate
|
| Sun, 02 Sep 2012 19:26:05 +0200 |
wenzelm |
basic support for Java FX;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 23:16:54 +0200 |
wenzelm |
more abstract file system operations in Scala, corresponding to ML version;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 22:39:59 +0200 |
wenzelm |
eliminated obsolete session_manager.scala;
|
file |
diff |
annotate
|