| Tue, 27 Jun 2017 21:56:56 +0200 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
| Tue, 27 Jun 2017 21:36:58 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| Wed, 21 May 2014 16:21:11 +0200 |
wenzelm |
more uniform Font_Info.Zoom_Box;
|
file |
diff |
annotate
|
| Wed, 21 May 2014 15:24:42 +0200 |
wenzelm |
added zoom box, like for outer output windows;
|
file |
diff |
annotate
|
| Wed, 21 May 2014 14:42:45 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 21 May 2014 10:13:12 +0200 |
Lars Hupel |
remove stray println;
|
file |
diff |
annotate
|
| Mon, 19 May 2014 19:17:15 +0200 |
Lars Hupel |
trace windows uses search feature of Pretty_Text_Area;
|
file |
diff |
annotate
|
| Tue, 29 Apr 2014 13:32:13 +0200 |
wenzelm |
more systematic Isabelle output, like in classic Isabelle/ML (without markup);
|
file |
diff |
annotate
|
| Mon, 28 Apr 2014 14:41:49 +0200 |
wenzelm |
mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;
|
file |
diff |
annotate
|
| Sat, 26 Apr 2014 14:59:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 23:49:15 +0200 |
wenzelm |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 19:39:27 +0100 |
wenzelm |
tuned signature -- separate module Font_Info;
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 18:51:03 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 18:29:02 +0100 |
wenzelm |
more standard names for protocol and markup elements;
|
file |
diff |
annotate
|
| Tue, 04 Feb 2014 09:04:59 +0000 |
Lars Hupel |
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
|
file |
diff |
annotate
|