Release notes

HOL Guard v3.60.0a33

Preview

HOL Guard v3.60.0a33, released November 8, 2026, is a preview release with 1 fix and 2 other changes. Highlights: Show a short named function whole in the map, once a session.

Changes since the previous release on this channel: alpha/v3.60.0a32alpha/v3.60.0a33

1 fixed · 2 other

Published Original GitHub release for alpha/v3.60.0a33

Key facts

Version
v3.60.0a33
Channel
Preview
Published
Previous release
alpha/v3.60.0a32

Documented changes

3 typed entries

Verified contributors

1 verified contributor · 1 credit

Attribution coverage

attribution complete; history inventory partial.

Scope

Guard v3.60.0a33 is a preview release published 2026-11-08. Upstream documents: Guard 3.60.0a33 is an opt-in prerelease cut from b3afc5d. Stable installations remain on the stable channel. 2 commits • 1 contributor since Guard 3.60.0a32. Its comparison base is alpha/v3.60.0a32. It includes 1 verified contribution delivery with public evidence links.

Changes

Fixed

1

Other changes

2

Upgrade and compatibility

None documented.

Compare with the previous release

Predecessor on the same channel: alpha/v3.60.0a32

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.

Contributors

Evidence ledger1 credit