summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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-07Use pi-system notation for finite intersectionsadelon
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-07Update lexicon.tsv for MathML Coreadelon
2026-03-07Update lexicon.tsvadelon
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 testsadelon
2026-03-07Update Html.hsadelon
2026-03-07Deduplicate warnings for missing render hintsadelon
2026-03-07Update lexicon.tsvadelon
2026-03-07Refine TOCadelon
2026-03-07Update TOCadelon
2026-03-07Add basic dark mode support in HTML rendereradelon
2026-03-07Render markeradelon
2026-03-07Simplify HTML renderingadelon
2026-03-07Fix rendering of relation symbolsadelon
2026-03-07Update lexicon.tsvadelon
2026-03-07Add HTML rendering skeletonadelon
2026-03-07Update .gitignoreadelon
2026-03-06Add Lucid and vendored MathML moduleadelon
2026-02-26Improve process cleanupadelon
2026-02-24Add hint to `CounterSatisfiable` errorsadelon
2026-02-24Update CommandLine.hsadelon
2026-02-24Print failure status lastadelon
2026-02-24Put failed TPTP to stderr in all cases againadelon
2026-02-24Use shorter `_local_N` marker in TPTP outputadelon
2026-02-24Improve error messages for prover failureadelon
2026-02-24Skip intermediate datatypeadelon
2026-02-24Parse Vampire answersadelon
2026-02-24Sketch parser for Vampire's status linesadelon
2026-02-22Add `INVARIANT` note to `checkingGoals`adelon
2026-02-22Fail earlier for nested comprehensionsadelon
2026-02-22Fix proof-local definitions with replacementadelon
2026-02-21Update Adapt.hsadelon
2026-02-20Initialize `lexiconAllPatterns`adelon
2026-02-20Clean/fixadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-06 20:41:40 +0000