diff options
| author | David Aspinall | 2002-08-12 15:07:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-12 15:07:04 +0000 |
| commit | 1e7dfeee00faa1dd5883cdea64c283000e2c8d4b (patch) | |
| tree | 7d78d90a0ccb405702238f5ec22f8d7dad0cfe6f /generic/proof-syntax.el | |
| parent | 97d0b0f77291ae0db764c83955b98df937dab8ad (diff) | |
Updated.
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions