Ailrun coq-commenter issues - Githubissues

Ailrun / coq-commenter

Coq commenter for Emacs

GNU General Public License v3.0

6 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Semantic Bug

#10 alxest opened 5 years ago
1
Indented proof is not commented.

#9 alxest opened 5 years ago
1
[Feature Request] Equivalent of comment-or-uncomment-region?

#8 alxest opened 5 years ago
1
needs gplv3+ compat license for MELPA

#7 milkypostman closed 3 years ago
2
Please specify the license for this package

#6 tarsius closed 7 years ago
2
Fix parsing regex

#5 Ailrun closed 7 years ago
0
[Feature Request] Parse better

#4 alxest closed 7 years ago
2
[Feature Request] Comment all proofs in all .v files in directory recursively

#3 alxest opened 7 years ago
3
Fix package

#2 syohex closed 8 years ago
0
Fix package

#1 syohex closed 8 years ago
1