H

holbert

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 7 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Oct 27, 2025 — Oct 27, 2026 Showing page 1 of 5 Search / Filter on:
presentation mode fix	Liam O'Connor	More...				almost 2 years ago
v0.6	Liam O'Connor	More...				about 2 years ago
new document	Liam O'Connor	More...				about 2 years ago
changelog	Liam O'Connor	More...				about 2 years ago
save/load using file system access	Liam O'Connor	More...				about 2 years ago
cleanup	Liam O'Connor	More...				about 2 years ago
multi-item SyntaxDecls	Liam O'Connor	More...				about 2 years ago
update docs	Liam O'Connor	More...				about 2 years ago
new constructor feature	Liam O'Connor	More...				about 2 years ago
Add summary view	Liam O'Connor	More...				over 3 years ago
other changelog entries	Liam O'Connor	More...				almost 4 years ago
Add associativity and precedence editing	Liam O'Connor	More...				almost 4 years ago
change default page	Liam O'Connor	More...				almost 4 years ago
disambiguate variables introduced	Liam O'Connor	More...				almost 4 years ago
ignores	Liam O'Connor	More...				almost 4 years ago
extra docs	Liam O'Connor	More...				almost 4 years ago
HATRA features	Liam O'Connor	More...				almost 4 years ago
add basic syntax declarations	Liam O'Connor	More...				about 4 years ago
Load from URL bar	Liam O'Connor	More...				over 4 years ago
remove old index	Liam O'Connor	More...				over 4 years ago
new index	Liam O'Connor	More...				over 4 years ago
version bump	Liam O'Connor	More...				over 4 years ago
Changelog update	Liam O'Connor	More...				over 4 years ago
Handle HOAS better in induction	Liam O'Connor	More...				over 4 years ago
built-in reflexivity	Liam O'Connor	More...				over 4 years ago
apply assumptions as rewrites	Liam O'Connor	More...				over 4 years ago
some planning	Liam O'Connor	More...				over 4 years ago
induction rules, bug fixes	Liam O'Connor	More...				over 4 years ago
css fix	Liam O'Connor	More...				over 4 years ago
add auto-generated case rules	Liam O'Connor	More...				over 4 years ago

←
1
2
3
4
5
→