| #
3891c3e0 |
|
27-Jun-2017 |
wenzelm <none@none> |
clarified defaults;
|
| #
3d4309c0 |
|
27-Jun-2017 |
wenzelm <none@none> |
tuned signature;
|
| #
40e642df |
|
23-Jul-2014 |
wenzelm <none@none> |
clarified module name: facilitate alternative GUI frameworks;
--HG--
rename : src/Pure/GUI/swing_thread.scala => src/Pure/GUI/gui_thread.scala
|
| #
d3b807ea |
|
21-May-2014 |
wenzelm <none@none> |
more uniform Font_Info.Zoom_Box;
misc tuning and clarification;
|
| #
d608cd6a |
|
21-May-2014 |
wenzelm <none@none> |
added zoom box, like for outer output windows;
|
| #
373dfd17 |
|
21-May-2014 |
wenzelm <none@none> |
tuned signature;
|
| #
89e76dc1 |
|
21-May-2014 |
Lars Hupel <lars.hupel@mytum.de> |
remove stray println;
|
| #
db83d96b |
|
19-May-2014 |
Lars Hupel <lars.hupel@mytum.de> |
trace windows uses search feature of Pretty_Text_Area;
recursive invocations and intermediate steps are now shown in order;
refinements to the exclusion of uninteresting subtraces in the output
|
| #
3be931d9 |
|
29-Apr-2014 |
wenzelm <none@none> |
more systematic Isabelle output, like in classic Isabelle/ML (without markup);
|
| #
023585e2 |
|
28-Apr-2014 |
wenzelm <none@none> |
mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;
|
| #
8d53ce8a |
|
26-Apr-2014 |
wenzelm <none@none> |
tuned;
|
| #
da5844fe |
|
22-Apr-2014 |
wenzelm <none@none> |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
| #
d96a05b2 |
|
01-Mar-2014 |
wenzelm <none@none> |
tuned signature -- separate module Font_Info;
|
| #
d6d19c15 |
|
18-Feb-2014 |
wenzelm <none@none> |
tuned imports;
|
| #
93d632dd |
|
18-Feb-2014 |
wenzelm <none@none> |
more standard names for protocol and markup elements;
|
| #
6b0c03d3 |
|
04-Feb-2014 |
Lars Hupel <lars.hupel@mytum.de> |
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
--HG--
extra : amend_source : ecfd76d4e8277199ca35432e0682414689f265fb
|