vscoq
vscoq copied to clipboard
Published
20 hours ago •
siegebell
siegebell
output info/notices in color
display the results of idtac and other messages using colors assigned to the richpp scopes returned by coqtop.
... currently blocked by vscode; e.g. Microsoft/vscode#571, Microsoft/vscode#564.
Creating a terminal could be a hackish way to get colored output, but getting it to work across platforms would be challenging. I could also create an HTML preview, but it would be displayed alongside other documents instead of in an output pane.