summaryrefslogtreecommitdiff
path: root/source/Render
AgeCommit message (Expand)Author
33 hoursTighten sequential HTML presentation ownershipadelon
33 hoursShare HTML target and route analysisadelon
33 hoursPublish verified HTML sequentiallyadelon
33 hoursReuse verified presentation for HTMLadelon
4 daysSimplify nested HTML collision discoveryadelon
4 daysClose verification output failuresadelon
4 daysComplete verification output reservationsadelon
4 daysRestore precise verification diagnosticsadelon
4 daysPreflight verification output namespacesadelon
8 daysParse source graph into immutable modulesadelon
8 daysPublish complete HTML bundlesadelon
8 daysRoute HTML links through render contextadelon
8 daysDerive mounted HTML routesadelon
8 daysSuppress unchecked datatype fact previewsadelon
9 daysRemove unreachable HTML output failuresadelon
9 daysConfine HTML export writesadelon
9 daysExport lexer guard through Baseadelon
10 daysMake `Omitted` carry its locationadelon
12 daysMake `Contradiction` a proof-terminal keywordadelon
12 daysUse semantic subset formula inside inductive defnsadelon
2026-07-03Track ownership of top-level symbolsadelon
2026-04-14Prefix URLs with directory (e.g. `library/`)adelon
2026-04-13Render derived facts for datatypesadelon
2026-04-13Implement datatypesadelon
2026-04-11Add links to tooltipadelon
2026-04-11Pin tooltip (WIP)adelon
2026-04-11Consolidate reference avalanchesadelon
2026-04-11Update Html.hsadelon
2026-04-11Cross-link theoriesadelon
2026-04-11Make tooltips more efficient (less markup)adelon
2026-04-11Add brute force tooltipsadelon
2026-03-08Align rendering closer to sourceadelon
2026-03-07Render symbolic definitions with `=`adelon
2026-03-07Optimize HTMLadelon
2026-03-07Slightly optimize HTMLadelon
2026-03-07Use shorter custom elements in HTML markupadelon
2026-03-07Slightly optimize HTMLadelon
2026-03-07Slightly less verbose MathML renderingadelon
2026-03-07Style reference linksadelon
2026-03-07Add TOC searchadelon
2026-03-07Fix spacing in finite set expressionsadelon
2026-03-07Improve HTML rendering of comprehensionsadelon
2026-03-07Preserve marker for prefix predicatesadelon
2026-03-07Make ticked variables italicadelon
2026-03-07Improve variable renderingadelon
2026-03-07Fix rendering warningadelon
2026-03-07Fix TOC highlighting upon clicking TOC entryadelon
2026-03-07Add TOC synced highlighting (slightly janky still)adelon
2026-03-07Make references linksadelon
2026-03-07Update Html.hsadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-05 05:21:42 +0000