diff options
| -rw-r--r-- | todo | 21 |
1 files changed, 21 insertions, 0 deletions
@@ -14,6 +14,27 @@ X (Low) probably not worth wasting time on * This is a list of things which need doing in the generic interface ==================================================================== +A* WARNING WARNING WARNING + + Changes pending in proof-script.el, proof-shell.el: + + proof-check-process-available + + will be replaced by *two* functions + + proof-activate-scripting + proof-shell-ready-prover + + Do not edit this function! + + +A* Fixup for non-script buffer locking: + + proof-locked-end called from wrong buffer when error message + is output. + + proof-restart-script is now broken + A* Fixup for clean byte compile now that proof.el has been split. A* Fixup multiple files -- needs debugging. |