Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Wed, 10 Jul 2024 17:42:48 +0200
tuned website;
changeset
Fabian Huch <huch@in.tum.de> [Wed, 10 Jul 2024 17:42:48 +0200] rev 80547
tuned website;
Wed, 10 Jul 2024 17:31:17 +0200
proper parse (amending dd86d35375a7);
changeset
Fabian Huch <huch@in.tum.de> [Wed, 10 Jul 2024 17:31:17 +0200] rev 80546
proper parse (amending dd86d35375a7);
Wed, 10 Jul 2024 17:04:44 +0200
allow updating reports via build_manager_database tool, e.g. to generate hg logs/diffs;
changeset
Fabian Huch <huch@in.tum.de> [Wed, 10 Jul 2024 17:04:44 +0200] rev 80545
allow updating reports via build_manager_database tool, e.g. to generate hg logs/diffs;
Wed, 10 Jul 2024 17:01:51 +0200
clarified;
changeset
Fabian Huch <huch@in.tum.de> [Wed, 10 Jul 2024 17:01:51 +0200] rev 80544
clarified;
Wed, 10 Jul 2024 16:58:39 +0200
clarified;
changeset
Fabian Huch <huch@in.tum.de> [Wed, 10 Jul 2024 16:58:39 +0200] rev 80543
clarified;
Wed, 10 Jul 2024 16:56:59 +0200
log and display components with empty (unknown) revisions to indicate that they are present;
changeset
Fabian Huch <huch@in.tum.de> [Wed, 10 Jul 2024 16:56:59 +0200] rev 80542
log and display components with empty (unknown) revisions to indicate that they are present;
Wed, 10 Jul 2024 09:58:32 +0200
tuned log: omit previous changeset;
changeset
Fabian Huch <huch@in.tum.de> [Wed, 10 Jul 2024 09:58:32 +0200] rev 80541
tuned log: omit previous changeset;
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
tip