Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sun, 07 Feb 2021 21:27:48 +0100 terminate faster (following dd9fc8a3036c);
changeset
wenzelm [Sun, 07 Feb 2021 21:27:48 +0100] rev 73234
terminate faster (following dd9fc8a3036c);
Sun, 07 Feb 2021 21:25:21 +0100 more robust: accommodate output lines produced by Scala "bash_process";
changeset
wenzelm [Sun, 07 Feb 2021 21:25:21 +0100] rev 73233
more robust: accommodate output lines produced by Scala "bash_process";
Sun, 07 Feb 2021 20:44:44 +0100 updated for release;
changeset
wenzelm [Sun, 07 Feb 2021 20:44:44 +0100] rev 73232
updated for release;
Sun, 07 Feb 2021 20:43:47 +0100 updated to flatlaf-1.0-rc3;
changeset
wenzelm [Sun, 07 Feb 2021 20:43:47 +0100] rev 73231
updated to flatlaf-1.0-rc3;
Sun, 07 Feb 2021 20:39:15 +0100 more robust: allow YXML text;
changeset
wenzelm [Sun, 07 Feb 2021 20:39:15 +0100] rev 73230
more robust: allow YXML text;
Sun, 07 Feb 2021 17:00:03 +0100 inherit ISABELLE_TMP from ML process, e.g. required for $AFP/Hello_World/RunningCodeFromIsabelle.thy;
changeset
wenzelm [Sun, 07 Feb 2021 17:00:03 +0100] rev 73229
inherit ISABELLE_TMP from ML process, e.g. required for $AFP/Hello_World/RunningCodeFromIsabelle.thy;
Sun, 07 Feb 2021 16:31:43 +0100 support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
changeset
wenzelm [Sun, 07 Feb 2021 16:31:43 +0100] rev 73228
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
Sun, 07 Feb 2021 15:32:57 +0100 clarified modules: less redundancy;
changeset
wenzelm [Sun, 07 Feb 2021 15:32:57 +0100] rev 73227
clarified modules: less redundancy;
Sun, 07 Feb 2021 12:55:41 +0100 clarified modules: allow early invocation of Scala functions;
changeset
wenzelm [Sun, 07 Feb 2021 12:55:41 +0100] rev 73226
clarified modules: allow early invocation of Scala functions;
Sun, 07 Feb 2021 12:30:52 +0100 clarified modules: allow early definition of protocol commands;
changeset
wenzelm [Sun, 07 Feb 2021 12:30:52 +0100] rev 73225
clarified modules: allow early definition of protocol commands;
Wed, 03 Feb 2021 20:18:34 +0100 clarified links to external files, e.g. .pdf within .thy source document;
changeset
wenzelm [Wed, 03 Feb 2021 20:18:34 +0100] rev 73224
clarified links to external files, e.g. .pdf within .thy source document;
Mon, 01 Feb 2021 18:12:44 +0100 avoid interference with FlatLaf fonts, see also jEdit SVN 24885 'Updated Appearance option pane to allow setting "primary" and "secondary" fonts for all look and feels.' (daleanson 2018-08-30);
changeset
wenzelm [Mon, 01 Feb 2021 18:12:44 +0100] rev 73223
avoid interference with FlatLaf fonts, see also jEdit SVN 24885 'Updated Appearance option pane to allow setting "primary" and "secondary" fonts for all look and feels.' (daleanson 2018-08-30);
Mon, 01 Feb 2021 17:15:00 +0100 updated to flatlaf-1.0-rc2;
changeset
wenzelm [Mon, 01 Feb 2021 17:15:00 +0100] rev 73222
updated to flatlaf-1.0-rc2;
Mon, 08 Feb 2021 19:48:45 +0100 added lemmas
changeset
nipkow [Mon, 08 Feb 2021 19:48:45 +0100] rev 73221
added lemmas
Mon, 01 Feb 2021 16:03:07 +0100 merged
changeset
wenzelm [Mon, 01 Feb 2021 16:03:07 +0100] rev 73220
merged
Mon, 01 Feb 2021 14:01:01 +0100 updated for release;
changeset
wenzelm [Mon, 01 Feb 2021 14:01:01 +0100] rev 73219
updated for release;
Mon, 01 Feb 2021 13:50:41 +0100 Added tag Isabelle2021-RC4 for changeset 2ab14dbc6feb
changeset
wenzelm [Mon, 01 Feb 2021 13:50:41 +0100] rev 73218
Added tag Isabelle2021-RC4 for changeset 2ab14dbc6feb
Mon, 01 Feb 2021 13:29:22 +0100 provide naproche-20210201;
changeset
wenzelm [Mon, 01 Feb 2021 13:29:22 +0100] rev 73217
provide naproche-20210201;
Sun, 31 Jan 2021 20:44:42 +0100 clarified messages;
changeset
wenzelm [Sun, 31 Jan 2021 20:44:42 +0100] rev 73216
clarified messages;
Sun, 31 Jan 2021 20:39:16 +0100 more parallel;
changeset
wenzelm [Sun, 31 Jan 2021 20:39:16 +0100] rev 73215
more parallel;
Sun, 31 Jan 2021 19:46:40 +0100 more parallel;
changeset
wenzelm [Sun, 31 Jan 2021 19:46:40 +0100] rev 73214
more parallel;
Sun, 31 Jan 2021 12:10:20 +0100 contributors
changeset
Andreas Lochbihler <mail@andreas-lochbihler.de> [Sun, 31 Jan 2021 12:10:20 +0100] rev 73213
contributors
Sun, 31 Jan 2021 08:49:47 +0100 hide the internal abbreviations MR and MB
changeset
Andreas Lochbihler <mail@andreas-lochbihler.de> [Sun, 31 Jan 2021 08:49:47 +0100] rev 73212
hide the internal abbreviations MR and MB
Fri, 29 Jan 2021 13:06:29 +0100 optimize RBT_Impl
changeset
mraszyk [Fri, 29 Jan 2021 13:06:29 +0100] rev 73211
optimize RBT_Impl
Sat, 30 Jan 2021 21:43:13 +0100 merged
changeset
wenzelm [Sat, 30 Jan 2021 21:43:13 +0100] rev 73210
merged
Sat, 30 Jan 2021 20:47:00 +0100 more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within mixfix declarations (due to extra markup);
changeset
wenzelm [Sat, 30 Jan 2021 20:47:00 +0100] rev 73209
more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within mixfix declarations (due to extra markup);
Sat, 30 Jan 2021 19:36:42 +0100 tuned signature: more types;
changeset
wenzelm [Sat, 30 Jan 2021 19:36:42 +0100] rev 73208
tuned signature: more types;
Sat, 30 Jan 2021 19:33:14 +0100 clarified signature: proper order;
changeset
wenzelm [Sat, 30 Jan 2021 19:33:14 +0100] rev 73207
clarified signature: proper order;
Sat, 30 Jan 2021 19:29:22 +0100 clarified signature: more explicit types;
changeset
wenzelm [Sat, 30 Jan 2021 19:29:22 +0100] rev 73206
clarified signature: more explicit types;
Sat, 30 Jan 2021 18:58:56 +0100 tuned;
changeset
wenzelm [Sat, 30 Jan 2021 18:58:56 +0100] rev 73205
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip
isabelle