diff options
| author | Makarius Wenzel | 1999-09-25 11:27:29 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-09-25 11:27:29 +0000 |
| commit | 3ee27482c2e06ff329c8c35667e347cd2737b917 (patch) | |
| tree | 3fc32c5ff7ae47af2d322f9c73b4d9c751615b76 /html | |
| parent | c7f0c84f47c9b57c2b9c2fab78b29a0db99480d9 (diff) | |
proof-shell-proof-completed-regexp nil;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions