diff options
| author | David Aspinall | 2007-12-13 19:20:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-13 19:20:44 +0000 |
| commit | 0e708337ee11ea05db2043a2d07c7dcf78dc25a5 (patch) | |
| tree | 03239e9706a1d03f8070945d2f7096c9b1812930 /isar | |
| parent | 9493800d75ed5f2b61dcf28149d6f224dfc4f005 (diff) | |
Bind coqdoc-html to C-c % w to avoid clash with help key.
Diffstat (limited to 'isar')
0 files changed, 0 insertions, 0 deletions