Release notes
HOL Guard v3.60.0a18
PreviewHOL Guard v3.60.0a18, released November 6, 2026, is a preview release with 2 additions, 3 fixes and 1 other change. Highlights: Show what changed since the session began for prompts about changes; Map a prompt to the definitions and sections that hold it.
2 added · 3 fixed · 1 other
Key facts
- Version
- v3.60.0a18
- Channel
- Preview
- Published
- Previous release
- alpha/v3.60.0a17
Documented changes
6 typed entries
Verified contributors
Credits being verified. Attribution coverage is in progress.
Attribution coverage
attribution in progress; history inventory partial.
Install
Scope
Guard v3.60.0a18 is a preview release published 2026-11-06. Upstream documents: Guard 3.60.0a18 is an opt-in prerelease cut from 395a619. Stable installations remain on the stable channel. 5 commits • 1 contributor since Guard 3.60.0a17. Its comparison base is alpha/v3.60.0a17. Attribution for this release is being verified.
Changes
Added
2- cigarShow what changed since the session began for prompts about changes (
8fb1be8) Evidence for this change - cigarMap a prompt to the definitions and sections that hold it (
ce5be67) Evidence for this change
Fixed
3- cigarScan shown diff lines, respect deadlines and fence and brace rules (
395a619) Evidence for this change - cigarKeep pasted code and exact paths in the prompt file search (
14642d1) Evidence for this change - cigarFind the files a prompt names, big modules and reST docs (
0012019) Evidence for this change
Other changes
1- Guard 3.60.0a18 is an opt-in prerelease cut from
395a619. Stable installations remain on the stable channel. 5 commits • 1 contributor since Guard 3.60.0a17. Evidence for this change
Upgrade and compatibility
None documented.
Compare with the previous release
Predecessor on the same channel: alpha/v3.60.0a17
Verified contributors
Credits derive from public pull-request authorship, verified commit authorship, or verified co-authorship — never from thanks text or release metadata. Each distinct contributor is listed once; the evidence ledger paginates every published credit record.
Evidence ledger0 credits
No credits are published for this release yet.