search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
335 stars 68 forks source link

feat: externalize pp-display library #860

Closed rtetley closed 2 months ago

rtetley commented 2 months ago

Both the search view and the goal view make use of a pp-display library. Currently only the goal view has an up to date one. The goal is to make it into a separate and re-usable library that we will then import in both webviews.

closes issue #838