| Wed, 10 Jul 2024 17:31:17 +0200 |
Fabian Huch |
proper parse (amending dd86d35375a7);
|
changeset |
files
|
| Wed, 10 Jul 2024 17:04:44 +0200 |
Fabian Huch |
allow updating reports via build_manager_database tool, e.g. to generate hg logs/diffs;
|
changeset |
files
|
| Wed, 10 Jul 2024 17:01:51 +0200 |
Fabian Huch |
clarified;
|
changeset |
files
|
| Wed, 10 Jul 2024 16:58:39 +0200 |
Fabian Huch |
clarified;
|
changeset |
files
|
| Wed, 10 Jul 2024 16:56:59 +0200 |
Fabian Huch |
log and display components with empty (unknown) revisions to indicate that they are present;
|
changeset |
files
|
| Wed, 10 Jul 2024 09:58:32 +0200 |
Fabian Huch |
tuned log: omit previous changeset;
|
changeset |
files
|
| Wed, 10 Jul 2024 08:37:54 +0200 |
nipkow |
take care of facts in cartouches
|
changeset |
files
|
| Tue, 09 Jul 2024 21:13:14 +0100 |
paulson |
Simplified a few proofs
|
changeset |
files
|
| Tue, 09 Jul 2024 16:06:32 +0200 |
Fabian Huch |
tuned display;
|
changeset |
files
|
| Tue, 09 Jul 2024 16:00:25 +0200 |
Fabian Huch |
NEWS and CONTRIBUTORS;
|
changeset |
files
|
| Tue, 09 Jul 2024 15:06:24 +0200 |
Fabian Huch |
tuned HTML display of ANSI colors for better readability;
|
changeset |
files
|
| Tue, 09 Jul 2024 14:13:59 +0200 |
Fabian Huch |
render hg diff and log (on separate page);
|
changeset |
files
|