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.
Tue, 12 Mar 2024 13:17:25 +0100 clarified signature: more explicit types;
changeset
wenzelm [Tue, 12 Mar 2024 13:17:25 +0100] rev 79869
clarified signature: more explicit types;
Tue, 12 Mar 2024 11:18:38 +0100 tuned signature;
changeset
wenzelm [Tue, 12 Mar 2024 11:18:38 +0100] rev 79868
tuned signature;
Tue, 12 Mar 2024 11:16:06 +0100 removed somewhat pointless check;
changeset
wenzelm [Tue, 12 Mar 2024 11:16:06 +0100] rev 79867
removed somewhat pointless check;
Tue, 12 Mar 2024 11:14:02 +0100 tuned signature: fewer warnings in IntelliJ IDEA;
changeset
wenzelm [Tue, 12 Mar 2024 11:14:02 +0100] rev 79866
tuned signature: fewer warnings in IntelliJ IDEA;
Tue, 12 Mar 2024 12:11:39 +0000 merged
changeset
paulson [Tue, 12 Mar 2024 12:11:39 +0000] rev 79865
merged
Tue, 12 Mar 2024 12:11:28 +0000 Fixed a latex error in the markup
changeset
paulson <lp15@cam.ac.uk> [Tue, 12 Mar 2024 12:11:28 +0000] rev 79864
Fixed a latex error in the markup
Mon, 11 Mar 2024 23:03:12 +0100 minor performance tuning: SQL.order_by is only for demo purposes;
changeset
wenzelm [Mon, 11 Mar 2024 23:03:12 +0100] rev 79863
minor performance tuning: SQL.order_by is only for demo purposes;
Mon, 11 Mar 2024 22:12:56 +0100 support efficient access to state updates, based on LEFT OUTER JOIN;
changeset
wenzelm [Mon, 11 Mar 2024 22:12:56 +0100] rev 79862
support efficient access to state updates, based on LEFT OUTER JOIN;
Mon, 11 Mar 2024 20:44:34 +0100 tuned signature;
changeset
wenzelm [Mon, 11 Mar 2024 20:44:34 +0100] rev 79861
tuned signature;
Mon, 11 Mar 2024 20:33:49 +0100 tuned: prefer if_proper expression;
changeset
wenzelm [Mon, 11 Mar 2024 20:33:49 +0100] rev 79860
tuned: prefer if_proper expression;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip
isabelle