diff options
Diffstat (limited to 'todo')
-rw-r--r-- | todo | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -37,6 +37,9 @@ A BUGS to investigate: - outline mode when proof-strict-read-only is nil ought to work, but there may be problems. +A Fix INFO-DIR-ENTRY in doc/ProofGeneral.texi to put Proof General + info file into a good place. + B QUESTION: why do we have proof-shell-proof-completed-regexp's perhaps objectionable behaviour of forcing the response buffer? Would it be safe just to set the proof-shell-proof-completed flag |