From 373a2d0b0060c0b5eeb48ca76c16036d2751eb93 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 09:25:36 +0000
Subject: Added generic line width adjusting to grand TODO

---
 TODO | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/TODO b/TODO
index 354bc695..4355d923 100644
--- a/TODO
+++ b/TODO
@@ -28,6 +28,9 @@ Plans for upcoming versions
 
 * Isabelle PG: Non-blocking for .thy loading from .ML files.
 
+* Generic adjusting of pretty-printer line width (currently implemented
+  in several instances)
+
 * Queue manipulation improvment: allow to extend or reduce
   during processing, with fewer "Proof Process Busy" messages.  
 
-- 
cgit v1.2.3