diff options
| author | David Aspinall | 2002-08-29 08:51:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-29 08:51:01 +0000 |
| commit | 5fb8dbfb42c86b358eb1b9655638c5cfce6d1827 (patch) | |
| tree | 99469d9a319d139419fd17c8f3d16d43062b1ca8 /todo | |
| parent | c2122d3f2a25c8133333f55e826742420c71f706 (diff) | |
Updated.
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -734,3 +734,8 @@ List of things postponed from PG 3.4: need to be merged above This needs to be fixed up in count undos, find-and-forget. *** Generic versions of count undos and find-and-forget generic. + +*** Keybindings on menus: many missing in GNU Emacs. + Also strange things happen with docstrings for macro-generated + functions. (C-h C-c C-p gives message "can't find docstring for + proof-prf" at one point, then later finds it?!) |