diff options
| author | Christophe Raffalli | 2000-09-15 13:50:35 +0000 |
|---|---|---|
| committer | Christophe Raffalli | 2000-09-15 13:50:35 +0000 |
| commit | 40d4ccebf9a35aa65ad163a1527405196c1710c4 (patch) | |
| tree | c0790275d19d118ad8b49d7d0815ad9e1c90b248 /FAQ | |
| parent | 273a52e58aec0d616a9b861480b3e95566e59cf6 (diff) | |
added proper call to proof-remove-comment before matching with proof-xxx-with-hole-regexp
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions