proof-general/ci/simple-tests/.gitignore, branch master Emacs plugins for proof management systems add test for omit proofs feature 2021-04-16T20:53:05+00:00 Hendrik Tews 2021-03-19T19:54:47+00:00 3802db410447bbc27e50dc5461b055c4e12a7e9a