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
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Wed, 19 Feb 2025 11:11:14 +0100
back to post-release mode -- after fork point;
changeset
wenzelm [Wed, 19 Feb 2025 11:11:14 +0100] rev 82198
back to post-release mode -- after fork point;
Wed, 19 Feb 2025 10:12:35 +0100
added lemma
changeset
nipkow [Wed, 19 Feb 2025 10:12:35 +0100] rev 82197
added lemma
Wed, 19 Feb 2025 09:26:48 +0100
tuned
changeset
nipkow [Wed, 19 Feb 2025 09:26:48 +0100] rev 82196
tuned
Tue, 18 Feb 2025 19:59:42 +0100
obsolete;
changeset
wenzelm [Tue, 18 Feb 2025 19:59:42 +0100] rev 82195
obsolete;
Tue, 18 Feb 2025 19:07:06 +0100
prefer inlined sfx.txt;
changeset
wenzelm [Tue, 18 Feb 2025 19:07:06 +0100] rev 82194
prefer inlined sfx.txt;
Tue, 18 Feb 2025 17:48:37 +0100
tuned signature: emphasize semantics;
changeset
wenzelm [Tue, 18 Feb 2025 17:48:37 +0100] rev 82193
tuned signature: emphasize semantics;
Tue, 18 Feb 2025 17:16:55 +0100
proper File.standard_path for Windows: result of resources.source_file is platform_path (amending da1108a6d249);
changeset
wenzelm [Tue, 18 Feb 2025 17:16:55 +0100] rev 82192
proper File.standard_path for Windows: result of resources.source_file is platform_path (amending da1108a6d249);
Mon, 17 Feb 2025 20:59:03 +0100
added lemmas
changeset
nipkow [Mon, 17 Feb 2025 20:59:03 +0100] rev 82191
added lemmas
Sun, 16 Feb 2025 17:06:09 +0100
merged
changeset
nipkow [Sun, 16 Feb 2025 17:06:09 +0100] rev 82190
merged
Sun, 16 Feb 2025 15:05:28 +0100
weakened type classes
changeset
nipkow [Sun, 16 Feb 2025 15:05:28 +0100] rev 82189
weakened type classes
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
tip