From 7a0f9b6506a1c903c2d512fd8cd2d0fd1594d3bf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Jan 1999 17:39:53 +0000
Subject: Added TODO for syntax matching problem.

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

diff --git a/todo b/todo
index cbb1a439..39328b98 100644
--- a/todo
+++ b/todo
@@ -24,6 +24,12 @@ A Clarify licence situation for Proof General after question from
   environment without a special licence agreement? A new licence is
   currently [22 Jan 1999] being drafted by UNIVED
 
+A Fix bug with syntax matching manifested in Isabelle.  We need to
+  set case-fold-search to nil (or to `proof-case-fold-search') in some
+  places.  Also check syntax tables for all instances, and whether
+  word matching is based on whitespace constituents or non-word
+  constituents.
+
 B Add a "register" page for registering downloads.  Perhaps filling
   will be mandatory for users in a non-academic environment.
   Suggestion: send an email to proofgen@dcs.ed.ac.uk with POST
-- 
cgit v1.2.3