diff options
author | 2010-08-22 21:18:01 +0000 | |
---|---|---|
committer | 2010-08-22 21:18:01 +0000 | |
commit | 380da1abd2eefedab8c18af3611e599aa7f46a90 (patch) | |
tree | 0a393e40f2dadb60204d67a1219977919f4dd0e6 /isar/isabelle-system.el | |
parent | e03cc0ba6b2a93341f7c59a7cbf6a61ef6a21788 (diff) |
isar-describe-help-keys: remove this, available by default as C-c C-a h C-h
(see Trac #341)
Diffstat (limited to 'isar/isabelle-system.el')
0 files changed, 0 insertions, 0 deletions