From 2cce0bc0f772d120b9ad53b9241c78767ac727d0 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 10 Mar 2000 09:20:35 +0000
Subject: TODOs for HOL.

---
 hol98/todo | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 hol98/todo

(limited to 'hol98')

diff --git a/hol98/todo b/hol98/todo
new file mode 100644
index 00000000..44179369
--- /dev/null
+++ b/hol98/todo
@@ -0,0 +1,12 @@
+-*- mode:outline -*-
+
+* See also ../todo for generic things to do, priority codes.
+
+* Things to do for HOL
+======================
+
+A Problem with displaying long help message: causes loop in PG
+  filtering, why?  Process also takes a long time to kill off.
+
+B Improve display to strip ugly val it's.
+
-- 
cgit v1.2.3