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.
Thu, 21 Apr 2022 10:03:38 +0200 tuned signature;
changeset
wenzelm [Thu, 21 Apr 2022 10:03:38 +0200] rev 75440
tuned signature;
Sat, 09 Apr 2022 15:40:29 +0200 more robust: avoid partiality;
changeset
wenzelm [Sat, 09 Apr 2022 15:40:29 +0200] rev 75439
more robust: avoid partiality;
Sat, 09 Apr 2022 15:35:27 +0200 tuned;
changeset
wenzelm [Sat, 09 Apr 2022 15:35:27 +0200] rev 75438
tuned;
Sat, 09 Apr 2022 15:33:38 +0200 clarified signature;
changeset
wenzelm [Sat, 09 Apr 2022 15:33:38 +0200] rev 75437
clarified signature;
Sat, 09 Apr 2022 15:28:55 +0200 clarified signature;
changeset
wenzelm [Sat, 09 Apr 2022 15:28:55 +0200] rev 75436
clarified signature;
Sat, 09 Apr 2022 14:51:54 +0200 tuned --- avoid warnings in scala3;
changeset
wenzelm [Sat, 09 Apr 2022 14:51:54 +0200] rev 75435
tuned --- avoid warnings in scala3;
Sat, 09 Apr 2022 14:29:34 +0200 clarified signature;
changeset
wenzelm [Sat, 09 Apr 2022 14:29:34 +0200] rev 75434
clarified signature;
Wed, 13 Apr 2022 16:53:46 +0200 pass new option only to new version of E
changeset
blanchet [Wed, 13 Apr 2022 16:53:46 +0200] rev 75433
pass new option only to new version of E
Mon, 11 Apr 2022 14:01:17 +0200 merged
changeset
desharna [Mon, 11 Apr 2022 14:01:17 +0200] rev 75432
merged
Sat, 09 Apr 2022 08:53:15 +0200 reused slice in Sledgehammer's minimizer
changeset
desharna [Sat, 09 Apr 2022 08:53:15 +0200] rev 75431
reused slice in Sledgehammer's minimizer
Sat, 09 Apr 2022 12:35:48 +0200 merged
changeset
wenzelm [Sat, 09 Apr 2022 12:35:48 +0200] rev 75430
merged
Sat, 09 Apr 2022 12:29:39 +0200 revert 2c861b196d52: still required in HOL/Library/Code_Test.thy;
changeset
wenzelm [Sat, 09 Apr 2022 12:29:39 +0200] rev 75429
revert 2c861b196d52: still required in HOL/Library/Code_Test.thy;
Sat, 09 Apr 2022 12:10:17 +0200 merged
changeset
wenzelm [Sat, 09 Apr 2022 12:10:17 +0200] rev 75428
merged
Sat, 09 Apr 2022 12:07:51 +0200 tuned --- avoid warnings in scala3;
changeset
wenzelm [Sat, 09 Apr 2022 12:07:51 +0200] rev 75427
tuned --- avoid warnings in scala3;
Sat, 09 Apr 2022 12:03:56 +0200 tuned --- avoid redundant patterns;
changeset
wenzelm [Sat, 09 Apr 2022 12:03:56 +0200] rev 75426
tuned --- avoid redundant patterns;
Sat, 09 Apr 2022 12:02:38 +0200 avoid pattern-match warnings, notably in scala3;
changeset
wenzelm [Sat, 09 Apr 2022 12:02:38 +0200] rev 75425
avoid pattern-match warnings, notably in scala3;
Sat, 09 Apr 2022 11:56:48 +0200 proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
changeset
wenzelm [Sat, 09 Apr 2022 11:56:48 +0200] rev 75424
proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
Sat, 09 Apr 2022 11:45:39 +0200 tuned --- accomodate scala3;
changeset
wenzelm [Sat, 09 Apr 2022 11:45:39 +0200] rev 75423
tuned --- accomodate scala3;
Sat, 09 Apr 2022 11:41:37 +0200 proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
changeset
wenzelm [Sat, 09 Apr 2022 11:41:37 +0200] rev 75422
proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
Fri, 08 Apr 2022 16:42:52 +0200 back to more ambitious scala-3.1.1 (see 8b7497992301);
changeset
wenzelm [Fri, 08 Apr 2022 16:42:52 +0200] rev 75421
back to more ambitious scala-3.1.1 (see 8b7497992301);
Fri, 08 Apr 2022 16:26:48 +0200 tuned --- fewer warnings in scala3;
changeset
wenzelm [Fri, 08 Apr 2022 16:26:48 +0200] rev 75420
tuned --- fewer warnings in scala3;
Fri, 08 Apr 2022 15:56:14 +0200 tuned -- avoid warnings for scala3;
changeset
wenzelm [Fri, 08 Apr 2022 15:56:14 +0200] rev 75419
tuned -- avoid warnings for scala3;
Fri, 08 Apr 2022 15:49:33 +0200 tuned signature -- avoid warnings for scala3;
changeset
wenzelm [Fri, 08 Apr 2022 15:49:33 +0200] rev 75418
tuned signature -- avoid warnings for scala3;
Fri, 08 Apr 2022 09:58:49 +0200 removed unused flag (see 25c6423ec538);
changeset
wenzelm [Fri, 08 Apr 2022 09:58:49 +0200] rev 75417
removed unused flag (see 25c6423ec538);
Thu, 07 Apr 2022 20:15:58 +0200 clarified versions;
changeset
wenzelm [Thu, 07 Apr 2022 20:15:58 +0200] rev 75416
clarified versions;
Sat, 09 Apr 2022 11:40:42 +0200 documentation on diagnostic devices for code generation
changeset
haftmann [Sat, 09 Apr 2022 11:40:42 +0200] rev 75415
documentation on diagnostic devices for code generation
Sat, 09 Apr 2022 11:27:09 +0200 more correct language
changeset
haftmann [Sat, 09 Apr 2022 11:27:09 +0200] rev 75414
more correct language
Fri, 08 Apr 2022 17:17:21 +0200 enable an E option suggested by Petar Vukmirovic
changeset
blanchet [Fri, 08 Apr 2022 17:17:21 +0200] rev 75413
enable an E option suggested by Petar Vukmirovic
Thu, 07 Apr 2022 12:37:42 +0200 used HTTPS for SystemOnTPTP
changeset
desharna [Thu, 07 Apr 2022 12:37:42 +0200] rev 75412
used HTTPS for SystemOnTPTP
Thu, 07 Apr 2022 05:55:48 +0000 moved from AFP to distribution
changeset
haftmann [Thu, 07 Apr 2022 05:55:48 +0000] rev 75411
moved from AFP to distribution
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip
isabelle