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 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 17 Jan 2025 19:56:34 +0100 tuned;
changeset
wenzelm [Fri, 17 Jan 2025 19:56:34 +0100] rev 81865
tuned;
Fri, 17 Jan 2025 19:46:36 +0100 tuned;
changeset
wenzelm [Fri, 17 Jan 2025 19:46:36 +0100] rev 81864
tuned;
Fri, 17 Jan 2025 19:40:56 +0100 clarified pattern matching;
changeset
wenzelm [Fri, 17 Jan 2025 19:40:56 +0100] rev 81863
clarified pattern matching;
Fri, 17 Jan 2025 19:30:26 +0100 misc tuning;
changeset
wenzelm [Fri, 17 Jan 2025 19:30:26 +0100] rev 81862
misc tuning;
Fri, 17 Jan 2025 17:01:43 +0100 misc tuning and clarification;
changeset
wenzelm [Fri, 17 Jan 2025 17:01:43 +0100] rev 81861
misc tuning and clarification;
Fri, 17 Jan 2025 16:49:01 +0100 tuned;
changeset
wenzelm [Fri, 17 Jan 2025 16:49:01 +0100] rev 81860
tuned;
Fri, 17 Jan 2025 16:22:49 +0100 clarified exceptions and messages: use "error" only for user-errors, not system failures;
changeset
wenzelm [Fri, 17 Jan 2025 16:22:49 +0100] rev 81859
clarified exceptions and messages: use "error" only for user-errors, not system failures;
Fri, 17 Jan 2025 16:13:48 +0100 minor performance tuning: more elementary operations;
changeset
wenzelm [Fri, 17 Jan 2025 16:13:48 +0100] rev 81858
minor performance tuning: more elementary operations;
Fri, 17 Jan 2025 16:03:35 +0100 minor performance tuning;
changeset
wenzelm [Fri, 17 Jan 2025 16:03:35 +0100] rev 81857
minor performance tuning;
Fri, 17 Jan 2025 15:39:40 +0100 clarified inst_type: more direct Thm.instantiate_frees;
changeset
wenzelm [Fri, 17 Jan 2025 15:39:40 +0100] rev 81856
clarified inst_type: more direct Thm.instantiate_frees;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 tip
isabelle