issues
search
ryuta-ito
/
coqtop-vim
Interact with coqtop within Vim
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add LoadPath "../group/". のようなケースに対応する
#15
ryuta-ito
closed
3 years ago
0
行末にコメント追加されるとうまく動かない
#14
ryuta-ito
opened
4 years ago
1
フリーズ
#13
ryuta-ito
closed
4 years ago
0
CheckとかPrintは別枠表示にしたい
#12
ryuta-ito
opened
5 years ago
0
fix #7
#11
ryuta-ito
closed
5 years ago
0
fix #9
#10
ryuta-ito
closed
5 years ago
0
同一行で再実行
#9
ryuta-ito
closed
5 years ago
0
fix #6
#8
ryuta-ito
closed
5 years ago
0
ドットが余計にあるときなどにフリーズする...
#7
ryuta-ito
closed
5 years ago
0
コメント内にRequire Importが存在するとフリーズする
#6
ryuta-ito
closed
5 years ago
0
何か選択中の行の前の行を選択すると結果が表示されない
#5
ryuta-ito
opened
5 years ago
0
Forward one command
#4
ryuta-ito
opened
6 years ago
0
1行に複数のtacticがあると、1つ目のtacticの実行結果しかでない
#3
ryuta-ito
closed
6 years ago
0
モジュール内に定義されたアレを呼び出せなくてつらい
#2
ryuta-ito
closed
6 years ago
0
Fix for minimal use
#1
ryuta-ito
closed
6 years ago
0