search

ProofGeneral / PG

This repo is the new home of Proof General
https://proofgeneral.github.io
GNU General Public License v3.0
492 stars 89 forks source link

proof-shell: indentation fix #759

Closed hendriktews closed 7 months ago