diff options
| author | David Aspinall | 2008-01-17 13:50:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-17 13:50:49 +0000 |
| commit | edfa9bece8aa7e96c8f93f387560d6a7f2b476fe (patch) | |
| tree | e6f760c131a6d37ca543665e16e9d5b852ca2ed7 /lib | |
| parent | 0d8367225698a83a6fc796008f86c0144a69aa4c (diff) | |
XEmacs comp error: obscure undefined define-key-after comes from proof-maths-menu.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions