diff options
| author | Thomas Kleymann | 1996-12-03 16:36:51 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1996-12-03 16:36:51 +0000 |
| commit | 64fdd5b9b5a1e12c3f21bbb1a41e60fb39a726c3 (patch) | |
| tree | ace0324289bd31c39015ca1881e8b32b0473b123 /proof.el | |
| parent | 75e500f0accb6330846576bca8607a9ac8bfffa7 (diff) | |
minor extensions of regular expressions
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions