diff options
author | 1998-12-17 18:14:34 +0000 | |
---|---|---|
committer | 1998-12-17 18:14:34 +0000 | |
commit | 930742f3d7fe411234b9cb86e73090da05f83d23 (patch) | |
tree | 6f6d34705a80364d3740914f29f02646de840b5c | |
parent | 4d0b70c4adfc233462afd66770c39a2fedccb5e0 (diff) |
Added todo for simplifying main download page, linking to pre-release.
-rw-r--r-- | todo | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -41,6 +41,10 @@ A BUGS to investigate: A Fix INFO-DIR-ENTRY in doc/ProofGeneral.texi to put Proof General info file into a good place. +B Markus Wenzel was confused by the download page. We need to point + out more explicitly who each distrib is aimed at. Maybe separate + the pages as Thomas once suggested. + 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 |