Versions🔗

Regula

4.34.0

Commit

2f6947215f177083cef4bca36208e064e2b5d555

Lean toolchain (linter and examples)

4.34.0

Verso revision

cad4b633e75ea769b851f12f9ca3b4f0dfcc625f

Releases

4.34.0

• https://rbeauchamp.github.io/regula/dev/ is the development version, rebuilt from main by every deployment. An unreleased Regula build's findings link here.

• https://rbeauchamp.github.io/regula/v/<version>/ is the permanent copy of a release, made when it is released. A released Regula build's findings link to its own release's copy. Once a later release exists, every page of an earlier copy names the latest release and links the same page there.

A route that is not published shows the site's not-available page. It never redirects to other rules: an old link cannot silently acquire changed semantics. Rule IDs are never reused for a changed rule; a retired rule keeps a page that says so.