Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -16 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 17 Jan 2025 20:30:01 +0100 misc tuning;
changeset
wenzelm [Fri, 17 Jan 2025 20:30:01 +0100] rev 81866
misc tuning;
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;
Fri, 17 Jan 2025 14:47:25 +0100 more direct Thm.free: avoid re-certification;
changeset
wenzelm [Fri, 17 Jan 2025 14:47:25 +0100] rev 81855
more direct Thm.free: avoid re-certification;
Fri, 17 Jan 2025 14:31:48 +0100 clarified signature: more explicit types;
changeset
wenzelm [Fri, 17 Jan 2025 14:31:48 +0100] rev 81854
clarified signature: more explicit types;
Fri, 17 Jan 2025 13:44:45 +0100 tuned names;
changeset
wenzelm [Fri, 17 Jan 2025 13:44:45 +0100] rev 81853
tuned names;
Fri, 17 Jan 2025 13:04:34 +0100 tuned names;
changeset
wenzelm [Fri, 17 Jan 2025 13:04:34 +0100] rev 81852
tuned names;
Fri, 17 Jan 2025 13:00:39 +0100 tuned signature;
changeset
wenzelm [Fri, 17 Jan 2025 13:00:39 +0100] rev 81851
tuned signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -16 tip
isabelle