| Fri, 17 Jan 2025 12:17:37 +0100 | Fabian Huch | isabelle_id: report sync id, if available; | changeset | files |
| Fri, 17 Jan 2025 12:16:52 +0100 | Fabian Huch | clarified: sync_id operation, similar to archive_id; | changeset | files |
| Thu, 16 Jan 2025 16:10:26 +0100 | Fabian Huch | build schedule: limit history length; | changeset | files |
| Thu, 16 Jan 2025 15:38:10 +0100 | Fabian Huch | tuned whitespace; | changeset | files |