Skip to content

Replace em dash in home page HTML title with colon #34

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ahrazzle merged 2 commits into from
Nov 11, 2026
Merged

Replace em dash in home page HTML title with colon #34

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
0ee05cb
Replace em dash in home page HTML title with colon
ahrazzle Nov 11, 2026
e64efc2
Use middle dots in project-index labels instead of em dashes
ahrazzle Nov 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<meta name="theme-color" content="#173d35" />
<title>Proven Commons — Software the world can build on</title>
<title>Proven Commons: Software the world can build on</title>
<meta
name="description"
content="A verified software factory and academy. We prove critical software follows its specification, publish the evidence, and train people through real contributions."
Expand Down Expand Up @@ -528,7 +528,7 @@ <h3>Next on the roadmap</h3>
</div>
<div class="project-grid">
<article>
<span class="project-index">01 — ACCESS</span>
<span class="project-index">01 · ACCESS</span>
<h3>Policy engine</h3>
<p>
Cedar-style decisions: a satisfied forbid means deny, no
Expand All @@ -537,15 +537,15 @@ <h3>Policy engine</h3>
</p>
</article>
<article>
<span class="project-index">02 — DATA</span>
<span class="project-index">02 · DATA</span>
<h3>SQLite file reader</h3>
<p>
Bounded parsing of headers and records. Return an error instead
of reading outside a file; keep records inside their page.
</p>
</article>
<article>
<span class="project-index">03 — PROTOCOLS · PROOFS DONE</span>
<span class="project-index">03 · PROTOCOLS · PROOFS DONE</span>
<h3>Redis parser &amp; store</h3>
<p>
Proved in Lean: parsing what the printer wrote gives the same
Expand Down