From 34292ab1cce85d74b0ed494e2d4c84e8e2c6891e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Jun 1999 16:49:54 +0000
Subject: Downrated Poly/ML related item since Poly is defunct.

---
 todo | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/todo b/todo
index af5b4f24..d8f70202 100644
--- a/todo
+++ b/todo
@@ -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
 ===========
 
-- 
cgit v1.2.3