alpha
Login
Join now
liamoc.net
/
holbert-ng
Star
Starred
Star
Something went wrong. Try again.
Fork
2
Eye filled
Watch
Watching
Watch
the next generation of the in-browser educational proof assistant
Star
Starred
Star
Something went wrong. Try again.
Fork
2
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
13
Pipelines
Pipelines
Version history of
src/
IdentifierView.res
October 2026
Liam O'Connor
9e3c4196
reuse the existing chip instead of a new one
3d ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Liam O'Connor
committed
3d ago
Liam O'Connor
d8ed6635
walk the parents once, not twice
1w ago
walk the parents once, not twice
Copy SHA
Browse repository
Liam O'Connor
committed
1w ago
Liam O'Connor
014fece2
fix the off-by-one in the page cursor
1w ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Liam O'Connor
committed
1w ago
September 2026
Liam O'Connor
0896a6e1
spell the aria label out loud
2w ago
spell the aria label out loud
Copy SHA
Browse repository
Liam O'Connor
committed
2w ago
Liam O'Connor
5e4e8f2d
name the magic number
3w ago
name the magic number
Copy SHA
Browse repository
Liam O'Connor
committed
3w ago
Liam O'Connor
559ed1a2
put the separator back between the rows
3w ago
put the separator back between the rows
Copy SHA
Browse repository
Liam O'Connor
committed
3w ago
Liam O'Connor
9d682c95
defer the icon import
3w ago
defer the icon import
Copy SHA
Browse repository
Liam O'Connor
committed
3w ago
Liam O'Connor
458b1417
drop the dead compatibility branch
3w ago
drop the dead compatibility branch
Copy SHA
Browse repository
Liam O'Connor
committed
3w ago
Liam O'Connor
1f554ee6
fix the off-by-one in the page cursor
4w ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Liam O'Connor
committed
4w ago
Liam O'Connor
ef385929
drop the dead compatibility branch
1mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
Liam O'Connor
b3cba4a0
spell the aria label out loud
1mo ago
spell the aria label out loud
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
Liam O'Connor
0e9eb442
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
August 2026
Liam O'Connor
13074bcb
tighten the types around the response
1mo ago
tighten the types around the response
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
Liam O'Connor
cec275a2
walk the parents once, not twice
1mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
Liam O'Connor
db287b4f
stop the header from reflowing on hover
1mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
Liam O'Connor
a656e61d
stop swallowing the parse error
1mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
Liam O'Connor
26700102
read the default from the config
1mo ago
read the default from the config
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
Liam O'Connor
16fc5327
handle the ref with a slash in it
1mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
Liam O'Connor
85474611
cache the resolved handle for the session
2mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
a2ed2569
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
ac44ecec
let the caller pass its own fetch
2mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
c8c5bf99
defer the icon import
2mo ago
defer the icon import
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
3d4fa572
name the magic number
2mo ago
name the magic number
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
650c7002
pull the loader out of the component
2mo ago
pull the loader out of the component
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
July 2026
Liam O'Connor
6c7ac817
treat a missing body as empty, not null
2mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
b8a06b7b
split the view out of the route
2mo ago
split the view out of the route
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
1d2ad72f
spell the aria label out loud
2mo ago
spell the aria label out loud
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
2d4d194f
cache the resolved handle for the session
2mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
f084978d
split the view out of the route
3mo ago
split the view out of the route
Copy SHA
Browse repository
Liam O'Connor
committed
3mo ago
Liam O'Connor
8825e646
collapse the two nearly identical helpers
3mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Liam O'Connor
committed
3mo ago
Liam O'Connor
1ba31c1f
treat a missing body as empty, not null
3mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Liam O'Connor
committed
3mo ago
Liam O'Connor
89fb4772
reuse the existing chip instead of a new one
3mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Liam O'Connor
committed
3mo ago
Liam O'Connor
b586d77a
make the toggle keyboard reachable
3mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Liam O'Connor
committed
3mo ago
June 2026
Liam O'Connor
809159a1
move the guard up to the boundary
3mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Liam O'Connor
committed
3mo ago
Liam O'Connor
b8b856a6
stop the header from reflowing on hover
3mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Liam O'Connor
committed
3mo ago
Liam O'Connor
35f895f9
fix the off-by-one in the page cursor
3mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Liam O'Connor
committed
3mo ago
Liam O'Connor
c20527e1
move the guard up to the boundary
3mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Liam O'Connor
committed
3mo ago
Liam O'Connor
68a6c56d
make the toggle keyboard reachable
3mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Liam O'Connor
committed
3mo ago
Liam O'Connor
2ff0f1c5
keep the empty state on one line
3mo ago
keep the empty state on one line
Copy SHA
Browse repository
Liam O'Connor
committed
3mo ago
Liam O'Connor
8619de26
cache the resolved handle for the session
3mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Liam O'Connor
committed
3mo ago
Liam O'Connor
0586f566
walk the parents once, not twice
4mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Liam O'Connor
committed
4mo ago
Liam O'Connor
3e4a7bb5
let the caller pass its own fetch
4mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Liam O'Connor
committed
4mo ago
Liam O'Connor
6f40fc9f
stop the header from reflowing on hover
4mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Liam O'Connor
committed
4mo ago
May 2026
Liam O'Connor
4892a0d1
reuse the existing chip instead of a new one
4mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Liam O'Connor
committed
4mo ago
Liam O'Connor
5fa0cd9b
make the toggle keyboard reachable
4mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Liam O'Connor
committed
4mo ago
Liam O'Connor
466b8cf1
tighten the types around the response
4mo ago
tighten the types around the response
Copy SHA
Browse repository
Liam O'Connor
committed
4mo ago
Liam O'Connor
25bc3804
collapse the two nearly identical helpers
4mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Liam O'Connor
committed
4mo ago
Liam O'Connor
c594921b
cache the resolved handle for the session
4mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Liam O'Connor
committed
4mo ago
Liam O'Connor
dcb3a0ec
tighten the types around the response
5mo ago
tighten the types around the response
Copy SHA
Browse repository
Liam O'Connor
committed
5mo ago
Liam O'Connor
f7844728
move the guard up to the boundary
5mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Liam O'Connor
committed
5mo ago
Previous
1
2
Next