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/
RewriteView.res
October 2026
Liam O'Connor
01196c4f
reuse the existing chip instead of a new one
2d ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Liam O'Connor
committed
2d ago
Liam O'Connor
53fd799f
move the guard up to the boundary
4d ago
move the guard up to the boundary
Copy SHA
Browse repository
Liam O'Connor
committed
4d ago
Liam O'Connor
ddc3e8be
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
Liam O'Connor
d7e116cc
round the sizes to the token scale
2w ago
round the sizes to the token scale
Copy SHA
Browse repository
Liam O'Connor
committed
2w ago
September 2026
Liam O'Connor
f392e7b0
collapse the two nearly identical helpers
3w ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Liam O'Connor
committed
3w ago
Liam O'Connor
c8deb4c2
move the guard up to the boundary
3w ago
move the guard up to the boundary
Copy SHA
Browse repository
Liam O'Connor
committed
3w ago
Liam O'Connor
4e2c9957
name the magic number
4w ago
name the magic number
Copy SHA
Browse repository
Liam O'Connor
committed
4w ago
Liam O'Connor
85bf6052
move the guard up to the boundary
4w ago
move the guard up to the boundary
Copy SHA
Browse repository
Liam O'Connor
committed
4w ago
Liam O'Connor
4823d7aa
move the guard up to the boundary
1mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
Liam O'Connor
ed21c6e5
move the guard up to the boundary
1mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
Liam O'Connor
79318a7f
fix the off-by-one in the page cursor
1mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
Liam O'Connor
a464eb05
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
c33dadb4
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
34f08067
cache the resolved handle for the session
1mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
August 2026
Liam O'Connor
0d9cde36
treat a missing body as empty, not null
1mo ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
Liam O'Connor
795fc67d
pull the loader out of the component
1mo ago
pull the loader out of the component
Copy SHA
Browse repository
Liam O'Connor
committed
1mo ago
Liam O'Connor
027705e5
fix the off-by-one in the page cursor
2mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
1d9c0347
keep the empty state on one line
2mo ago
keep the empty state on one line
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
d718b432
tighten the types around the response
2mo ago
tighten the types around the response
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
c0809546
collapse the two nearly identical helpers
2mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
aaf0fb82
trim the trailing newline before hashing
2mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
July 2026
Liam O'Connor
7f24ceb2
trim the trailing newline before hashing
2mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
dff36335
stop the header from reflowing on hover
2mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
db4a42a4
trim the trailing newline before hashing
2mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Liam O'Connor
committed
2mo ago
Liam O'Connor
36b5d872
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
dd5c105c
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
eda4111d
read the default from the config
3mo ago
read the default from the config
Copy SHA
Browse repository
Liam O'Connor
committed
3mo ago
Liam O'Connor
033b6c7c
let the caller pass its own fetch
3mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Liam O'Connor
committed
3mo ago
Liam O'Connor
80b6df5a
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