diff options
author | 1999-06-07 16:49:54 +0000 | |
---|---|---|
committer | 1999-06-07 16:49:54 +0000 | |
commit | 34292ab1cce85d74b0ed494e2d4c84e8e2c6891e (patch) | |
tree | fdade37b145bb5c2e00e0e15716cede7b5a2cfaf | |
parent | fad0a3db2b6d8276055a38a8d2598681bece1bf8 (diff) |
Downrated Poly/ML related item since Poly is defunct.
-rw-r--r-- | todo | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -80,7 +80,7 @@ B proof-shell-exit has a time delay of 10 secs built-in, example writing persistent databases out or the like. Also this fact should be documented. -B Is it possible to let C-c C-c (SIGINT) issue additional process input? +X Is it possible to let C-c C-c (SIGINT) issue additional process input? Poly/ML requires an 'f' at the interrupt handler's prompt to proceed, or rather, to fail gracefully. @@ -575,6 +575,7 @@ X Write perl scripts to generate TAGS file for ML and thy files. X Manage multiple proofs (markers in possibly different buffers) + * FSF Emacs =========== |