issues
search
leanprover
/
verso
Lean documentation authoring tool
Apache License 2.0
108
stars
13
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fix: bugfixes and flexbility in docstring Markdown processing
#163
david-christiansen
closed
2 hours ago
0
feat: word count reports in manual genre
#162
david-christiansen
closed
1 day ago
0
feat: progress tracking for tactics
#161
david-christiansen
closed
2 days ago
0
feat: more flexible proof state display
#160
david-christiansen
closed
2 days ago
0
feat: docstrings and cross-references for tactics in manual genre
#159
david-christiansen
closed
3 days ago
0
fix: better offsetting of rendered docstrings
#158
david-christiansen
closed
6 days ago
0
feat: Tooltips and xrefs for options
#156
david-christiansen
closed
1 week ago
0
feat: cross-references from code
#155
david-christiansen
closed
1 week ago
0
feat: docstrings for options
#154
david-christiansen
closed
1 week ago
0
chore: bump dependencies for latest nightly
#153
david-christiansen
closed
1 week ago
0
chore: bump to latest nightly
#152
david-christiansen
closed
1 week ago
0
Span of info is too small in rendered code
#151
david-christiansen
opened
1 week ago
0
Manual bug fixes
#150
david-christiansen
closed
3 weeks ago
0
fix: wrong link target in some ToCs
#149
david-christiansen
closed
3 weeks ago
0
fix: work around go-to-definition limitation in language server
#148
david-christiansen
closed
3 weeks ago
1
-verso-docs.json should be rewritten to be relative
#147
david-christiansen
opened
3 weeks ago
0
*bubble* showing tactic state in custom notation
#146
lecopivo
opened
3 weeks ago
3
lean code block and `variable` command
#145
lecopivo
opened
4 weeks ago
1
`open <namespace>` command does not work as expected
#144
lecopivo
opened
4 weeks ago
0
fix: incremental message logs - off-by-one fix and footgun removal
#143
david-christiansen
closed
3 weeks ago
2
feat: render inductive type docstrings with ctors
#142
david-christiansen
closed
1 month ago
0
chore: latest nightly exports the right symbols again
#141
david-christiansen
closed
1 month ago
0
fix: don't emit empty <ol> tags in ToC for manuals
#140
david-christiansen
closed
1 month ago
0
chore: compatibility again
#139
david-christiansen
closed
1 month ago
0
chore: add nightly testing YAML to test with
#138
david-christiansen
opened
1 month ago
0
Configurable proof state display
#137
david-christiansen
opened
1 month ago
0
Tests for LSP extensions
#136
david-christiansen
opened
1 month ago
0
Interleave Lean code with explanations
#135
david-christiansen
opened
1 month ago
0
Go to definition problems
#134
david-christiansen
closed
3 weeks ago
4
chore: compatibility with recent nightly
#133
david-christiansen
closed
1 month ago
0
error loading library, libleanmd4c.so
#132
lecopivo
opened
1 month ago
6
chore: bump SubVerso
#131
david-christiansen
closed
1 month ago
0
doc: Improve README
#130
david-christiansen
closed
1 month ago
0
Deploying outputs to GitHub Pages
#129
SnO2WMaN
closed
1 month ago
2
feat: domains for cross-references
#128
david-christiansen
closed
1 month ago
0
chore: minimize TeX packages in CI
#127
david-christiansen
closed
1 month ago
0
feat: add options for extra JS and output format config to manual
#126
david-christiansen
closed
1 month ago
0
fix: leading zero for single-digit days and months in ISO 8601 dates
#125
TwoFX
closed
1 month ago
3
chore: bump SubVerso
#124
david-christiansen
closed
1 month ago
0
feat: add general-purpose cross reference link to manual genre
#123
david-christiansen
closed
1 month ago
0
chore: bump Lean version, import cleanups, CI check
#122
david-christiansen
closed
1 month ago
0
fix: fix poor contrast in hovers for messages
#121
david-christiansen
closed
1 month ago
0
fix: re-enable hovers on literals
#120
david-christiansen
closed
2 months ago
0
fix: hover placement and flickers
#119
david-christiansen
closed
2 months ago
0
fix: flickers and competing hovers
#118
david-christiansen
closed
2 months ago
0
fix: hover whitespace to prevent too-long lines
#117
david-christiansen
closed
2 months ago
0
fix: don't inherit font weight and style in highlighting
#116
david-christiansen
closed
2 months ago
0
feat: deduplication of hover info
#115
david-christiansen
closed
2 months ago
0
Manual fixes
#114
david-christiansen
closed
2 months ago
0
feat: progress tracking and better robustness for docstrings
#113
david-christiansen
closed
2 months ago
0
Next