diff options
| author | David Aspinall | 1999-11-11 17:35:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-11 17:35:27 +0000 |
| commit | e455a8ee2204f141e0bc1f82939e90f9eeb10f8b (patch) | |
| tree | 54818549d6ec648a07e9592ff6085cc777d2d8bd /generic/proof-shell.el | |
| parent | fc7bc85b25e73b788a7fbd01b1671efa5d1f199f (diff) | |
Attempted x-symbol improvements
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions