diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 21:37:41 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 21:37:41 +0000 |
| commit | 26dbf751f71a9a47fa70d43763604356a8b052a0 (patch) | |
| tree | 89f7a61e1aba65a47f4fb1ffc172822421340bcb /hol-light | |
| parent | ae3bfad012af54b9698213d9860e5f56f8df1530 (diff) | |
Clarify Emacs 22 version
Diffstat (limited to 'hol-light')
0 files changed, 0 insertions, 0 deletions