existential-graphs
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Star
Fork
Watch

Version history of src/intro/CreateNew.js

October 2026

dependabot[bot]
fix the off-by-one in the page cursor
committed
Christian van der Loo
spell the aria label out loud
committed
dependabot[bot]
stop the header from reflowing on hover
committed
Christian van der Loo
walk the parents once, not twice
committed
Christian van der Loo
stop the header from reflowing on hover
committed
dependabot[bot]
reuse the existing chip instead of a new one
committed
dependabot[bot]
fix the off-by-one in the page cursor
committed
dependabot[bot]
let the caller pass its own fetch
committed
dependabot[bot]
let the caller pass its own fetch
committed

September 2026

dependabot[bot]
trim the trailing newline before hashing
committed
dependabot[bot]
stop swallowing the parse error
committed
Christian van der Loo
move the guard up to the boundary
committed
Christian van der Loo
make the toggle keyboard reachable
committed
Christian van der Loo
read the default from the config
committed
dependabot[bot]
split the view out of the route
committed
dependabot[bot]
split the view out of the route
committed