coq_jupyter icon indicating copy to clipboard operation
coq_jupyter copied to clipboard

Published 20 hours ago • verified publisher icon EugeneLoy

Add highlighting to cell outputs

Open EugeneLoy opened this issue 6 years ago • 0 comments

It might be a good idea to partly reuse CodeMirror mode (see: #19).

EugeneLoy avatar Jan 28 '19 15:01 EugeneLoy