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.
Fri, 02 Sep 2022 23:41:54 +0200 tuned;
changeset
wenzelm [Fri, 02 Sep 2022 23:41:54 +0200] rev 76042
tuned;
Fri, 02 Sep 2022 23:19:02 +0200 proper description;
changeset
wenzelm [Fri, 02 Sep 2022 23:19:02 +0200] rev 76041
proper description;
Fri, 02 Sep 2022 23:31:22 +0200 tuned whitespace;
changeset
wenzelm [Fri, 02 Sep 2022 23:31:22 +0200] rev 76040
tuned whitespace;
Mon, 07 Mar 2022 13:37:17 +0100 option "sort_updates" for record update simproc. Make proper record simproc definitions.
changeset
Norbert Schirmer <nschirmer@apple.com> [Mon, 07 Mar 2022 13:37:17 +0100] rev 76039
option "sort_updates" for record update simproc. Make proper record simproc definitions.
Thu, 01 Sep 2022 13:01:38 +0100 Merge
changeset
paulson <lp15@cam.ac.uk> [Thu, 01 Sep 2022 13:01:38 +0100] rev 76038
Merge
Thu, 01 Sep 2022 12:48:36 +0100 Three new theorems about real polynomial functions
changeset
paulson <lp15@cam.ac.uk> [Thu, 01 Sep 2022 12:48:36 +0100] rev 76037
Three new theorems about real polynomial functions
Thu, 01 Sep 2022 10:58:46 +0200 tuned GUI;
changeset
wenzelm [Thu, 01 Sep 2022 10:58:46 +0200] rev 76036
tuned GUI;
Thu, 01 Sep 2022 10:54:12 +0200 tuned;
changeset
wenzelm [Thu, 01 Sep 2022 10:54:12 +0200] rev 76035
tuned;
Thu, 01 Sep 2022 10:52:30 +0200 clarified GUI behaviour;
changeset
wenzelm [Thu, 01 Sep 2022 10:52:30 +0200] rev 76034
clarified GUI behaviour;
Wed, 31 Aug 2022 23:05:12 +0200 eliminated odd Unicode blanks;
changeset
wenzelm [Wed, 31 Aug 2022 23:05:12 +0200] rev 76033
eliminated odd Unicode blanks;
Wed, 31 Aug 2022 23:00:43 +0200 tuned whitespace;
changeset
wenzelm [Wed, 31 Aug 2022 23:00:43 +0200] rev 76032
tuned whitespace;
Wed, 31 Aug 2022 23:00:14 +0200 eliminated DOS line endings;
changeset
wenzelm [Wed, 31 Aug 2022 23:00:14 +0200] rev 76031
eliminated DOS line endings;
Wed, 31 Aug 2022 22:59:16 +0200 eliminated tabs, assuming tab-width=8;
changeset
wenzelm [Wed, 31 Aug 2022 22:59:16 +0200] rev 76030
eliminated tabs, assuming tab-width=8;
Wed, 31 Aug 2022 22:58:52 +0200 eliminated tabs, assuming tab-width=4;
changeset
wenzelm [Wed, 31 Aug 2022 22:58:52 +0200] rev 76029
eliminated tabs, assuming tab-width=4;
Wed, 31 Aug 2022 22:51:27 +0200 updated to current Cygwin, near 3.3.5-1;
changeset
wenzelm [Wed, 31 Aug 2022 22:51:27 +0200] rev 76028
updated to current Cygwin, near 3.3.5-1;
Wed, 31 Aug 2022 21:26:56 +0200 test macOS 12 Monterey via laramac01;
changeset
wenzelm [Wed, 31 Aug 2022 21:26:56 +0200] rev 76027
test macOS 12 Monterey via laramac01;
Wed, 31 Aug 2022 20:54:23 +0200 clarified GUI update;
changeset
wenzelm [Wed, 31 Aug 2022 20:54:23 +0200] rev 76026
clarified GUI update;
Wed, 31 Aug 2022 20:46:55 +0200 clarified signature;
changeset
wenzelm [Wed, 31 Aug 2022 20:46:55 +0200] rev 76025
clarified signature;
Wed, 31 Aug 2022 20:41:30 +0200 tuned signature;
changeset
wenzelm [Wed, 31 Aug 2022 20:41:30 +0200] rev 76024
tuned signature;
Wed, 31 Aug 2022 16:39:18 +0200 more GUI functionality;
changeset
wenzelm [Wed, 31 Aug 2022 16:39:18 +0200] rev 76023
more GUI functionality;
Wed, 31 Aug 2022 15:05:28 +0200 clarified signature;
changeset
wenzelm [Wed, 31 Aug 2022 15:05:28 +0200] rev 76022
clarified signature;
Tue, 30 Aug 2022 13:18:33 +0200 clarified component structure, concerning initialization order;
changeset
wenzelm [Tue, 30 Aug 2022 13:18:33 +0200] rev 76021
clarified component structure, concerning initialization order;
Mon, 29 Aug 2022 23:59:47 +0200 update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2;
changeset
wenzelm [Mon, 29 Aug 2022 23:59:47 +0200] rev 76020
update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2;
Mon, 29 Aug 2022 19:26:27 +0200 provide cvc5-1.0.2 (inactive);
changeset
wenzelm [Mon, 29 Aug 2022 19:26:27 +0200] rev 76019
provide cvc5-1.0.2 (inactive);
Mon, 29 Aug 2022 19:25:55 +0200 tuned output;
changeset
wenzelm [Mon, 29 Aug 2022 19:25:55 +0200] rev 76018
tuned output;
Mon, 29 Aug 2022 19:14:04 +0200 tool to build Isabelle component for cvc5;
changeset
wenzelm [Mon, 29 Aug 2022 19:14:04 +0200] rev 76017
tool to build Isabelle component for cvc5;
Mon, 29 Aug 2022 16:49:42 +0200 tuned: avoid odd stateful programming;
changeset
wenzelm [Mon, 29 Aug 2022 16:49:42 +0200] rev 76016
tuned: avoid odd stateful programming;
Sun, 28 Aug 2022 21:25:28 +0200 more markup (for batch build);
changeset
wenzelm [Sun, 28 Aug 2022 21:25:28 +0200] rev 76015
more markup (for batch build);
Sun, 28 Aug 2022 20:21:47 +0200 tuned;
changeset
wenzelm [Sun, 28 Aug 2022 20:21:47 +0200] rev 76014
tuned;
Sun, 28 Aug 2022 14:55:40 +0200 tuned;
changeset
wenzelm [Sun, 28 Aug 2022 14:55:40 +0200] rev 76013
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip
isabelle