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

Version history of .devcontainer/Dockerfile

October 2026

move the guard up to the boundary
Christian van der Loo committed
reuse the existing chip instead of a new one
Christian van der Loo committed
stop swallowing the parse error
dependabot[bot] committed

September 2026

trim the trailing newline before hashing
Christian van der Loo committed
treat a missing body as empty, not null
Christian van der Loo committed
make the toggle keyboard reachable
dependabot[bot] committed
walk the parents once, not twice
Christian van der Loo committed
make the toggle keyboard reachable
dependabot[bot] committed
keep the empty state on one line
dependabot[bot] committed
round the sizes to the token scale
Christian van der Loo committed
round the sizes to the token scale
dependabot[bot] committed
keep the empty state on one line
Christian van der Loo committed
reuse the existing chip instead of a new one
dependabot[bot] committed
keep the empty state on one line
Christian van der Loo committed

August 2026

treat a missing body as empty, not null
Christian van der Loo committed
move the guard up to the boundary
Christian van der Loo committed
handle the ref with a slash in it
dependabot[bot] committed
handle the ref with a slash in it
dependabot[bot] committed
pull the loader out of the component
Christian van der Loo committed
keep the empty state on one line
Christian van der Loo committed
handle the ref with a slash in it
dependabot[bot] committed
move the guard up to the boundary
dependabot[bot] committed
cache the resolved handle for the session
Christian van der Loo committed
stop the header from reflowing on hover
Christian van der Loo committed

July 2026

move the guard up to the boundary
dependabot[bot] committed
split the view out of the route
dependabot[bot] committed
walk the parents once, not twice
Christian van der Loo committed
collapse the two nearly identical helpers
dependabot[bot] committed
drop the dead compatibility branch
Christian van der Loo committed
collapse the two nearly identical helpers
dependabot[bot] committed
keep the empty state on one line
Christian van der Loo committed

June 2026

collapse the two nearly identical helpers
dependabot[bot] committed
name the magic number
Christian van der Loo committed
walk the parents once, not twice
Christian van der Loo committed
defer the icon import
dependabot[bot] committed
treat a missing body as empty, not null
Christian van der Loo committed
collapse the two nearly identical helpers
Christian van der Loo committed
walk the parents once, not twice
Christian van der Loo committed
spell the aria label out loud
Christian van der Loo committed
round the sizes to the token scale
dependabot[bot] committed

May 2026

let the caller pass its own fetch
Christian van der Loo committed
round the sizes to the token scale
dependabot[bot] committed
drop the dead compatibility branch
dependabot[bot] committed
round the sizes to the token scale
dependabot[bot] committed
split the view out of the route
Christian van der Loo committed
stop swallowing the parse error
dependabot[bot] committed
handle the ref with a slash in it
Christian van der Loo committed

April 2026

cache the resolved handle for the session
dependabot[bot] committed
handle the ref with a slash in it
dependabot[bot] committed
trim the trailing newline before hashing
dependabot[bot] committed