From c7c4ea6f3c6ed9b030fa5ee02886c66a53d57ce2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Oct 1998 18:16:10 +0000
Subject: Added low-level priority todo

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

diff --git a/todo b/todo
index e0023f9b..6931b2a1 100644
--- a/todo
+++ b/todo
@@ -222,6 +222,19 @@ C Make completion more generic. For Isabelle and Lego, we can build a
   completion table by querying the process, which is better than
   messing with tags.
 
+X Span convenience functions for special 'type property.
+  Could put these in proof.el or somewhere.
+
+  (defsubst set-span-type-property (span val)
+    "Set type property of SPAN to VAL"
+    (set-span-property span 'type val))
+
+  (defsubst span-type-property (span)
+    "Get type property of SPAN"
+    (span-property span 'type))
+
+  etc.   (1hr)
+
 X Read-only mode of extents sometimes gets in the way: for example,
   if file changes on disk, can't reload it via usual functions.
   Can this be improved?  Always have to retract first, and that
-- 
cgit v1.2.3