Thu, 18 Jul 2013 20:53:22 +0200 |
wenzelm |
explicit padding on command boundary for "auto" generated sendback -- do not replace the corresponding goal command, but append to it;
|
file |
diff |
annotate
|
Fri, 05 Jul 2013 16:01:45 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 05 Jul 2013 15:38:03 +0200 |
wenzelm |
explicit module Document_ID as source of globally unique identifiers across ML/Scala;
|
file |
diff |
annotate
|
Mon, 20 May 2013 13:54:24 +0200 |
wenzelm |
discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;
|
file |
diff |
annotate
|
Fri, 04 Jan 2013 12:33:25 +0100 |
wenzelm |
prefer old graph browser in Isabelle/jEdit, which still produces better layout;
|
file |
diff |
annotate
|
Thu, 13 Dec 2012 13:52:18 +0100 |
wenzelm |
identify dialogs via official serial and maintain as result message;
|
file |
diff |
annotate
|
Wed, 12 Dec 2012 21:50:42 +0100 |
wenzelm |
support dialog via document content;
|
file |
diff |
annotate
|
Mon, 10 Dec 2012 19:28:56 +0100 |
wenzelm |
keep diagnostic command -- avoid confusion when it disappears;
|
file |
diff |
annotate
|
Mon, 10 Dec 2012 15:17:47 +0100 |
wenzelm |
stateless dockable window for graphview, which is triggered by the active area of the corresponding diagnostic command;
|
file |
diff |
annotate
|
Mon, 10 Dec 2012 13:52:33 +0100 |
wenzelm |
generalized notion of active area, where sendback is just one application;
|
file |
diff |
annotate
| base
|