diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 18:03:55 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 18:03:55 +0000 |
| commit | 65dbcc23512b2fca4de96975f20045ef45578287 (patch) | |
| tree | a8dabdf3ce1200f6a1a3a8f24f0b9ced6257c8be | |
| parent | 7c54027de2ee44a45397606abb44ffa02ee27fae (diff) | |
Todo for putting Info somewhere good in the dir.
| -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 |