search

coq / vscoq

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

Externalize PpString lib #838

Closed rtetley closed 2 months ago

rtetley commented 2 months ago

The PpString lib used for the goal display should be externalized as its own library and then used for the Search panel. Related to #748

rtetley commented 2 months ago

Closed by #860