From 20e41ec61de3ad97a02e316742b65f8387f2e341 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Oct 1998 15:37:06 +0000
Subject: Added message about bug in proof-shell-handle-output on FSF Emacs

---
 todo | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/todo b/todo
index aa1e7396..b12fabd1 100644
--- a/todo
+++ b/todo
@@ -20,6 +20,10 @@ B Bug in proof-retract-until-point when called twice in succession:
   locked region, or "nothing to retract").  Problems is that
   there is a proof-locked-end, but it's at (point-min).
 
+B Bug in proof-shell-handle-output run on FSF Emacs, gives error
+  (wrong-type-argument markerp nil) when font-lock-fontify-region
+  is called to fontify the shell buffer.
+
 B proof-find-next-terminator doesn't work properly:
 
      first;second;third
-- 
cgit v1.2.3