issues
search
m-fleury
/
isabelle-emacs
Clone of isabelle, with LSP extensions in seperate branches
Other
25
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Isabelle 2021
#41
m-fleury
closed
3 years ago
0
package cl deprecated
#40
gh-salt
closed
3 years ago
3
Excessive indentation space in lsp-isar-state
#39
gh-salt
closed
2 years ago
3
Fewer Disk Accesses
#38
m-fleury
closed
4 years ago
1
Running Isabelle over Tramp
#37
m-fleury
closed
2 years ago
4
Recommand default LSP options in readme
#36
m-fleury
closed
4 years ago
0
Same question asked twice when opening thy file
#35
gh-salt
closed
3 years ago
1
Line length of output/state buffer
#34
m-fleury
closed
4 years ago
2
Adapt to lsp-protocol
#33
m-fleury
closed
4 years ago
3
Parsing emacs arguments
#32
m-fleury
closed
4 years ago
0
Erratic cursor behaviour
#31
m-fleury
closed
4 years ago
2
insertion of several new lines at once extremely slow
#30
gh-salt
opened
4 years ago
1
lsp-isar-state sometimes empty
#29
gh-salt
closed
4 years ago
1
"local" bug
#28
gh-salt
closed
4 years ago
6
Align everything in progress buffer
#27
m-fleury
closed
4 years ago
4
Deactivate flycheck
#26
m-fleury
closed
4 years ago
1
insert sledgehammer and try0 in the line below instead of the current line
#25
gh-salt
closed
4 years ago
1
no indentation when inserting new line with vim bindings "o" and "O"
#24
gh-salt
closed
4 years ago
3
deactivate lsp (light start up mode)
#23
gh-salt
closed
4 years ago
3
inconsistent information in *lsp-isar-progress*
#22
gh-salt
closed
4 years ago
2
Spacemacs -- slow line operations on large files
#21
m-fleury
closed
4 years ago
1
delete-trailing-whitespace also deletes some end double-quotes
#20
gh-salt
closed
4 years ago
3
Insertion of tactics
#19
m-fleury
closed
4 years ago
1
Try0 result
#18
m-fleury
closed
4 years ago
3
insert sledgehammer call at end of line has unexpected behaviour
#17
gh-salt
closed
4 years ago
8
Isabelle2020
#16
m-fleury
closed
4 years ago
3
infinite looping?
#15
gh-salt
closed
4 years ago
19
try0 doesn't print proof in lsp-isar-output
#14
gh-salt
closed
4 years ago
1
sledgehammer interface inserts isar proof by default
#13
gh-salt
closed
4 years ago
1
check and update readme (in spacemacs-isabelle)
#12
m-fleury
closed
4 years ago
4
Provide quelpa setup for installation
#11
m-fleury
closed
4 years ago
3
Proper Sledgehammer interface
#10
m-fleury
closed
4 years ago
19
[Spacemacs] errors when passing theory as argument.
#9
m-fleury
closed
4 years ago
0
asynchronous goal printing
#8
m-fleury
closed
4 years ago
0
automatic indentation
#7
m-fleury
closed
4 years ago
6
copy-paste from lsp-isar-state to the thy file goes crazy
#6
m-fleury
closed
4 years ago
4
invisible artefacts from Alt-/ autocompletion polluting the file
#5
m-fleury
closed
4 years ago
7
Issues more line breaks in the lsp-isar-output buffer needed
#4
m-fleury
closed
4 years ago
7
lsp-isar-progress jumps to top when refreshed
#3
m-fleury
closed
4 years ago
4
Migrate to git
#2
m-fleury
closed
4 years ago
2
evil (spacemacs) and quail
#1
m-fleury
closed
4 years ago
0
Previous