Release notes
HOL Guard v3.60.0a15
PreviewHOL Guard v3.60.0a15, released November 6, 2026, is a preview release with 2 additions, 2 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 · 2 fixed · 1 other
Key facts
- Version
- v3.60.0a15
- Channel
- Preview
- Published
- Previous release
- alpha/v3.60.0a14
Documented changes
5 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.0a15 is a preview release published 2026-11-06. Upstream documents: Guard 3.60.0a15 is an opt-in prerelease cut from 8fb1be8. Stable installations remain on the stable channel. 4 commits • 1 contributor since Guard 3.60.0a14. Its comparison base is alpha/v3.60.0a14. 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
2- 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.0a15 is an opt-in prerelease cut from
8fb1be8. Stable installations remain on the stable channel. 4 commits • 1 contributor since Guard 3.60.0a14. Evidence for this change
Upgrade and compatibility
None documented.
Compare with the previous release
Predecessor on the same channel: alpha/v3.60.0a14
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.