SpiceQA
Questions
Tags
Users
Badges
proof-general
2 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
How can I get C-c C-n to format the current line in proof-general coq-mode-map
user_1243445
0
•
asked Oct 2, 2021
3
2
82
proof-general
coq
emacs
what is [...] in proof general and why can't I delete it
user_9910692
0
•
asked May 11, 2020
2
1
94
proof-general
coq
1
(current)
Hot Questions