search

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

coq/generic: display empty strings in diagnostic messages #802

Open hendriktews opened 23 hours ago

hendriktews commented 23 hours ago

... for the argument lists of background processes started by PG