diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-03-03 20:35:05 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-03-03 20:35:05 +0000 |
| commit | 5eefbc72733e95eaf781af956ba5bc5f9e4f06c4 (patch) | |
| tree | 2ce35fb79c0d8751011093c28cd20cd8c01efd8e /generic/proof-x-symbol.el | |
| parent | 1617bae58808913f7877540d0f43b4dee45f1bb4 (diff) | |
Updated.
Diffstat (limited to 'generic/proof-x-symbol.el')
0 files changed, 0 insertions, 0 deletions