Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Wed, 16 Oct 2024 19:44:02 +0200
tuned signature;
changeset
wenzelm [Wed, 16 Oct 2024 19:44:02 +0200] rev 81174
tuned signature;
Wed, 16 Oct 2024 16:20:35 +0200
performance tuning: cache markup and extern operations;
changeset
wenzelm [Wed, 16 Oct 2024 16:20:35 +0200] rev 81173
performance tuning: cache markup and extern operations;
Tue, 15 Oct 2024 23:44:42 +0200
minor performance tuning;
changeset
wenzelm [Tue, 15 Oct 2024 23:44:42 +0200] rev 81172
minor performance tuning;
Tue, 15 Oct 2024 16:11:37 +0200
minor performance tuning;
changeset
wenzelm [Tue, 15 Oct 2024 16:11:37 +0200] rev 81171
minor performance tuning;
Tue, 15 Oct 2024 14:57:23 +0200
backout somewhat pointless 5ea48342e0ae: no need to declare syntax consts for translations (e.g. constraints);
changeset
wenzelm [Tue, 15 Oct 2024 14:57:23 +0200] rev 81170
backout somewhat pointless 5ea48342e0ae: no need to declare syntax consts for translations (e.g. constraints);
Tue, 15 Oct 2024 14:55:45 +0200
tuned;
changeset
wenzelm [Tue, 15 Oct 2024 14:55:45 +0200] rev 81169
tuned;
Tue, 15 Oct 2024 14:39:54 +0200
tuned;
changeset
wenzelm [Tue, 15 Oct 2024 14:39:54 +0200] rev 81168
tuned;
Tue, 15 Oct 2024 14:36:37 +0200
revert redundant guard (T = dummyT) from 0278f6d87bad;
changeset
wenzelm [Tue, 15 Oct 2024 14:36:37 +0200] rev 81167
revert redundant guard (T = dummyT) from 0278f6d87bad;
Tue, 15 Oct 2024 14:19:58 +0200
allow type constraints for const_syntax;
changeset
wenzelm [Tue, 15 Oct 2024 14:19:58 +0200] rev 81166
allow type constraints for const_syntax; cope with that in ast translations and mixfix templates; minor adjustments to print_ast_translation functions in ML;
Tue, 15 Oct 2024 12:18:02 +0200
tuned;
changeset
wenzelm [Tue, 15 Oct 2024 12:18:02 +0200] rev 81165
tuned;
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
tip