add more tests for goals and response buffer - Githubissues

ProofGeneral / PG

This repo is the new home of Proof General

https://proofgeneral.github.io

GNU General Public License v3.0

491 stars 88 forks source link

add more tests for goals and response buffer #758

Closed hendriktews closed 7 months ago