| Mon, 07 Dec 2009 22:41:15 +0100 |
wenzelm |
simplified treatment of Isabelle fonts, via Isabelle_System.register_fonts (requires Java 1.6);
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 21:22:50 +0200 |
wenzelm |
renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;
|
file |
diff |
annotate
|
| Thu, 25 Jun 2009 21:14:10 +0200 |
wenzelm |
simplified option pane: proper logic title, hardwired font path;
|
file |
diff |
annotate
|
| Tue, 27 Jan 2009 22:13:56 +0100 |
wenzelm |
use plain toInt;
|
file |
diff |
annotate
|
| Sun, 11 Jan 2009 22:02:27 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 11 Jan 2009 19:32:26 +0100 |
wenzelm |
maintain Isabelle properties via object Isabelle.Property with apply/update methods;
|
file |
diff |
annotate
|
| Sat, 27 Dec 2008 15:03:32 +0100 |
wenzelm |
replaced static IsabelleSystem by Isabelle.system;
|
file |
diff |
annotate
|
| Sat, 27 Dec 2008 14:13:05 +0100 |
wenzelm |
renamed object Plugin to Isabelle;
|
file |
diff |
annotate
|
| Sat, 27 Dec 2008 12:29:15 +0100 |
wenzelm |
IsabelleSystem.find_logics;
|
file |
diff |
annotate
|
| Sun, 21 Dec 2008 21:43:40 +0100 |
wenzelm |
renamed Plugin.plugin to Plugin.self;
|
file |
diff |
annotate
|
| Fri, 19 Dec 2008 23:11:08 +0100 |
wenzelm |
added some headers and comments;
|
file |
diff |
annotate
|
| Fri, 19 Dec 2008 22:24:32 +0100 |
wenzelm |
added some headers and comments;
|
file |
diff |
annotate
|
| Sun, 19 Oct 2008 16:51:55 +0200 |
wenzelm |
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
|
file |
diff |
annotate
|