coq_jupyter icon indicating copy to clipboard operation
coq_jupyter copied to clipboard
verified publisher icon EugeneLoy

Improve code highlighting (CodeMirror mode)

Open EugeneLoy opened this issue 6 years ago • 1 comments

Vernacular and tactics seem a bit out of date.

EugeneLoy avatar Jan 05 '19 20:01 EugeneLoy

Tactics and vernacular are updated based on 8.8.2 documentation. However, current coq mode needs major overhaul, so it is too early to close this ticket yet.

EugeneLoy avatar Jan 14 '19 22:01 EugeneLoy