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
.
Thu, 07 Nov 2024 12:32:44 +0100
tuned signature: more standard names;
changeset
wenzelm [Thu, 07 Nov 2024 12:32:44 +0100] rev 81385
tuned signature: more standard names;
Thu, 07 Nov 2024 12:26:36 +0100
tuned;
changeset
wenzelm [Thu, 07 Nov 2024 12:26:36 +0100] rev 81384
tuned;
Thu, 07 Nov 2024 12:17:18 +0100
clarified signature;
changeset
wenzelm [Thu, 07 Nov 2024 12:17:18 +0100] rev 81383
clarified signature;
Thu, 07 Nov 2024 12:08:32 +0100
clarified signature;
changeset
wenzelm [Thu, 07 Nov 2024 12:08:32 +0100] rev 81382
clarified signature;
Thu, 07 Nov 2024 11:46:21 +0100
tuned;
changeset
wenzelm [Thu, 07 Nov 2024 11:46:21 +0100] rev 81381
tuned;
Thu, 07 Nov 2024 11:35:39 +0100
revert 1206400b9b48: proper Node.unapply for Node.apply(null);
changeset
wenzelm [Thu, 07 Nov 2024 11:35:39 +0100] rev 81380
revert 1206400b9b48: proper Node.unapply for Node.apply(null);
Wed, 06 Nov 2024 22:04:05 +0100
tuned signature;
changeset
wenzelm [Wed, 06 Nov 2024 22:04:05 +0100] rev 81379
tuned signature;
Wed, 06 Nov 2024 16:07:30 +0100
clarified signature;
changeset
wenzelm [Wed, 06 Nov 2024 16:07:30 +0100] rev 81378
clarified signature;
Wed, 06 Nov 2024 15:52:31 +0100
clarified signature, with subtle change of semantics: proper non-null result;
changeset
wenzelm [Wed, 06 Nov 2024 15:52:31 +0100] rev 81377
clarified signature, with subtle change of semantics: proper non-null result;
Wed, 06 Nov 2024 15:38:45 +0100
clarified modules;
changeset
wenzelm [Wed, 06 Nov 2024 15:38:45 +0100] rev 81376
clarified modules;
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
tip