issues
search
monadius
/
vscode-hol-light
An extension for VS Code which provides support for HOL Light
MIT License
3
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Sequentially running selected sentences and immediately stopping when any sentence has failed
#10
aqjune
closed
1 month ago
18
Suggestion: showing the REPL-highlighted text at Minimap
#9
aqjune
opened
5 months ago
2
Highlights does not disappear if I have multiple opened editors
#8
aqjune
closed
5 months ago
2
Giving a special font color to functions creating axioms
#7
aqjune
closed
5 months ago
1
Autocompletion of keywords in `Help/*`?
#6
aqjune
closed
5 months ago
2
Shortcut for Windows
#5
aqjune
closed
5 months ago
3
Highlighting matching parenthesis?
#4
aqjune
closed
5 months ago
3
`;;` in a string causes wrong selection of a sentence
#3
aqjune
closed
6 months ago
2
Syntax highlighting of type annotation
#2
aqjune
closed
6 months ago
4
Highlighting the background color of text sent to REPL
#1
aqjune
closed
6 months ago
2