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 .gitignore

October 2026

let the caller pass its own fetch
Robert Dexter committed
read the default from the config
rsdexter committed
collapse the two nearly identical helpers
Robert Dexter committed
let the caller pass its own fetch
rsdexter committed
cache the resolved handle for the session
Robert Dexter committed

September 2026

make the toggle keyboard reachable
Robert Dexter committed
keep the empty state on one line
rsdexter committed
keep the empty state on one line
rsdexter committed
split the view out of the route
Chris Vanderloo committed
put the separator back between the rows
Robert Dexter committed
fix the off-by-one in the page cursor
Robert Dexter committed
split the view out of the route
rsdexter committed

August 2026

walk the parents once, not twice
Robert Dexter committed
reuse the existing chip instead of a new one
Chris Vanderloo committed
cache the resolved handle for the session
Robert Dexter committed
fix the off-by-one in the page cursor
Robert Dexter committed
tighten the types around the response
Robert Dexter committed
stop the header from reflowing on hover
Robert Dexter committed
move the guard up to the boundary
rsdexter committed
handle the ref with a slash in it
Chris Vanderloo committed
name the magic number
rsdexter committed
put the separator back between the rows
rsdexter committed
keep the empty state on one line
Chris Vanderloo committed

July 2026

tighten the types around the response
Chris Vanderloo committed
name the magic number
rsdexter committed
move the guard up to the boundary
Robert Dexter committed
reuse the existing chip instead of a new one
Chris Vanderloo committed
make the toggle keyboard reachable
Robert Dexter committed
keep the empty state on one line
rsdexter committed
tighten the types around the response
rsdexter committed

June 2026

put the separator back between the rows
rsdexter committed
cache the resolved handle for the session
Chris Vanderloo committed
tighten the types around the response
rsdexter committed
reuse the existing chip instead of a new one
rsdexter committed
cache the resolved handle for the session
Robert Dexter committed
make the toggle keyboard reachable
Chris Vanderloo committed
drop the dead compatibility branch
rsdexter committed
spell the aria label out loud
rsdexter committed

May 2026

let the caller pass its own fetch
rsdexter committed
fix the off-by-one in the page cursor
Robert Dexter committed
handle the ref with a slash in it
rsdexter committed
split the view out of the route
Robert Dexter committed
name the magic number
Robert Dexter committed
tighten the types around the response
rsdexter committed
tighten the types around the response
rsdexter committed
fix the off-by-one in the page cursor
Robert Dexter committed
put the separator back between the rows
Chris Vanderloo committed
defer the icon import
Chris Vanderloo committed

April 2026

reuse the existing chip instead of a new one
Chris Vanderloo committed
round the sizes to the token scale
Chris Vanderloo committed