Sun, 02 Dec 2018 14:12:08 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Thu, 29 Nov 2018 15:17:51 +0100 |
wenzelm |
clarified "hidden" terminology;
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 14:00:22 +0100 |
wenzelm |
more explicit Isabelle_Fonts.Entry;
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 11:28:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 21 Oct 2018 18:32:33 +0200 |
wenzelm |
eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
|
file |
diff |
annotate
|
Sun, 21 Oct 2018 14:25:51 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 17 Aug 2018 20:44:00 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 11 Nov 2017 16:28:15 +0100 |
wenzelm |
clarified settings environment;
|
file |
diff |
annotate
|
Sat, 11 Nov 2017 16:01:02 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 26 May 2017 11:09:16 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 24 May 2017 11:39:00 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 16 May 2017 16:04:50 +0200 |
wenzelm |
proper init_settings, before inspecting ML_HOME etc;
|
file |
diff |
annotate
|
Thu, 20 Oct 2016 11:04:38 +0200 |
wenzelm |
proper echo;
|
file |
diff |
annotate
|
Tue, 18 Oct 2016 16:03:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Thu, 13 Oct 2016 23:09:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 13 Oct 2016 15:17:10 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 13 Oct 2016 12:13:43 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|