enhancement of outline regexps for coq, now when hiding bodies, we see

completely definitions and theorems, but proof script are hidden (but
can be blindly sent to the prover). Seems to work correctly.

0 files changed, 0 insertions, 0 deletions