diff options
| author | David Aspinall | 1998-09-03 16:34:04 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-03 16:34:04 +0000 |
| commit | 16409b08edfc74795ce72d0e7d6aee9582b7b8e8 (patch) | |
| tree | a36804ea95a74990b8c68b2c0bb69c8b9a8a9cfd /generic/proof-syntax.el | |
| parent | 36ef6a2585917bb3100af11da0bf47313f51f397 (diff) | |
New file.
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions