diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-29 12:14:05 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-29 12:14:05 +0000 |
| commit | 556202ba97e1dfd2106baf6e2b7eac4fececd691 (patch) | |
| tree | f1c2a6548a73b4ad73814f4b7f390fe9b6337497 /isa/thy-mode.el | |
| parent | b9e7d7a8a12464ac804eb58ee0fa26fcfc2d5277 (diff) | |
Add universal keys to theory mode
Diffstat (limited to 'isa/thy-mode.el')
0 files changed, 0 insertions, 0 deletions