isabelle
Star 0
Fork 0
Watch

Version history of Theory.thy

November 2026

obscurejam.es
make the toggle keyboard reachable
committed
obscurejam.es
put the separator back between the rows
committed

October 2026

obscurejam.es
read the default from the config
committed
obscurejam.es
put the separator back between the rows
committed
obscurejam.es
fix the off-by-one in the page cursor
committed
obscurejam.es
split the view out of the route
committed
obscurejam.es
treat a missing body as empty, not null
committed
obscurejam.es
cache the resolved handle for the session
committed

September 2026

obscurejam.es
stop the header from reflowing on hover
committed
obscurejam.es
drop the dead compatibility branch
committed
obscurejam.es
defer the icon import
committed
obscurejam.es
move the guard up to the boundary
committed
obscurejam.es
walk the parents once, not twice
committed
obscurejam.es
split the view out of the route
committed
obscurejam.es
name the magic number
committed
obscurejam.es
drop the dead compatibility branch
committed

August 2026

obscurejam.es
move the guard up to the boundary
committed
obscurejam.es
handle the ref with a slash in it
committed
obscurejam.es
move the guard up to the boundary
committed
obscurejam.es
collapse the two nearly identical helpers
committed
obscurejam.es
drop the dead compatibility branch
committed
obscurejam.es
defer the icon import
committed
obscurejam.es
stop swallowing the parse error
committed

July 2026

obscurejam.es
round the sizes to the token scale
committed
obscurejam.es
let the caller pass its own fetch
committed
obscurejam.es
tighten the types around the response
committed
obscurejam.es
pull the loader out of the component
committed
obscurejam.es
name the magic number
committed
obscurejam.es
handle the ref with a slash in it
committed

June 2026

obscurejam.es
fix the off-by-one in the page cursor
committed
obscurejam.es
cache the resolved handle for the session
committed
obscurejam.es
collapse the two nearly identical helpers
committed
obscurejam.es
reuse the existing chip instead of a new one
committed
obscurejam.es
split the view out of the route
committed
obscurejam.es
round the sizes to the token scale
committed
obscurejam.es
move the guard up to the boundary
committed
obscurejam.es
spell the aria label out loud
committed
obscurejam.es
read the default from the config
committed
obscurejam.es
handle the ref with a slash in it
committed

May 2026

obscurejam.es
round the sizes to the token scale
committed
obscurejam.es
trim the trailing newline before hashing
committed
obscurejam.es
tighten the types around the response
committed
obscurejam.es
drop the dead compatibility branch
committed
obscurejam.es
let the caller pass its own fetch
committed
obscurejam.es
collapse the two nearly identical helpers
committed
obscurejam.es
walk the parents once, not twice
committed
obscurejam.es
reuse the existing chip instead of a new one
committed
obscurejam.es
tighten the types around the response
committed

April 2026

obscurejam.es
fix the off-by-one in the page cursor
committed
obscurejam.es
make the toggle keyboard reachable
committed