From d0bdf6b4c0dd8318dfeb8ca7b7d7aad9e0752b89 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 16 Aug 2002 17:01:42 +0000
Subject: Update

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

(limited to 'todo')

diff --git a/todo b/todo
index ccfef320..9cf57aac 100644
--- a/todo
+++ b/todo
@@ -32,6 +32,14 @@ X (Low)		e.g. probably not worth spending time on
 
 ** 2. Things to do in the generic interface
 
+*** X A more flexible way of choosing which instance of PG we want,
+    allowing matches on the buffer before choosing the mode function.
+
+*** D Isabelle PG: Non-blocking for .thy loading from .ML files.
+
+*** B Generic adjusting of pretty-printer line width (currently
+    implemented in several instances)
+
 *** D Make code robust against accidental buffer kills
       by regenerating auxiliary buffers automatically. 
 
-- 
cgit v1.2.3