Uncommented coq-find-comment-start, coq-find-comment-end as quick fix…#445

Merged

erikmd merged 1 commit intoProofGeneral:masterfrom vzaliva:patch-1

Dec 5, 2019

+71-73

Commits on Dec 5, 2019

Uncommented coq-find-comment-start, coq-find-comment-end as quick fix for ProofGeneral#444
vzaliva
authored