diff options
| -rw-r--r-- | todo | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -14,6 +14,10 @@ X (Low) probably not worth wasting time on * This is a list of things which need doing in the generic interface ==================================================================== +C byte-compilation: check that byte compilation (and compiled code!) + works for both varieties of Emacs. Add instructions to INSTALL on + how to byte compile. (1hr) + D proof-site (da): I think it would be nice to change the architecture to make customization for new provers much easier. The standard use of 'define-derived-mode' could be invoked @@ -330,7 +334,6 @@ B `lego-get-path' assumes that LEGOPATH has been set in the be analysed with the help of a LEGO specific extension of `proof-shell-process-urgent-message'. (1h tms) - B release new version of the LEGO proof engine (4h tms) B Equiv, Next,... aren't handled properly, because LEGO does not |