From 214f1da42a3669caec9864a516f3697f5e8deef6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 8 Mar 2000 05:57:50 +0000
Subject: Split low-level todo into several files.

---
 isar/todo | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 isar/todo

(limited to 'isar')

diff --git a/isar/todo b/isar/todo
new file mode 100644
index 00000000..a7ba9473
--- /dev/null
+++ b/isar/todo
@@ -0,0 +1,9 @@
+-*- mode:outline -*-
+
+* See also ../todo for generic things to do, priority codes.
+
+* Things to do for Isabelle/Isar
+================================
+
+C Combine with isa/ to get single Isabelle PG instance, maybe?
+
-- 
cgit v1.2.3