diff options
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 8 |
1 files changed, 3 insertions, 5 deletions
@@ -52,6 +52,9 @@ re-enabled), proof-toggle-scripting, new configuration options. - noticeable delay when loading ML files for Isabelle (fontification?) - clean up assert-until-point stuff at last! +B Have seen "confused" bug: shows up when do lots of C-c C-n as + process is starting up. + D Why don't PG's minor modes appear on XEmacs minor mode menu? (C-right on status bar) @@ -60,11 +63,6 @@ A Markus's bug reminder list: - c-c c-c does not work reliably; - c-c c-a is broken; -A bug in response filtering: - The response filtering seems to have changed again. E.g. 'Info' button in - PG/isar (without a theory context) omits most of the result (commands, - ...). - A Bugs in x-symbol support: - visiting multiple files sometimes doesn't display them properly (setq x-symbol-8bits nil) needed? |