diff options
| -rw-r--r-- | todo | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -14,6 +14,21 @@ X (Low) probably not worth wasting time on * This is a list of things which need doing in the generic interface ==================================================================== +D Customization mechanism: is there a way to make saved settings + not be overwritten by setq's in the code? Need to think how + to do this, something like customize-set-variable-if-unchanged + Otherwise no so useful for people to use customize for + prover config settings (we'd need to shadow them all again for + each assistant for this to work smoothly). + Sure sign saving will fail is when you see "this option has + been changed outside customization buffer" + +A Customization mechanism and config variables: at the moment even + setting config variables in a hook is tricky, because + proof-config-done is called before the hook variables for the + new mode are. Our new version of define-derived-mode needs + to address this. + A* multiple files bug fix: It can happen (in Isabelle) that the prover retracts a file which asks for another to be retracted which is *not* on |