From df3a3cbe4b42a91db133d089e3c13cee0207c166 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 25 Sep 2000 16:26:30 +0000
Subject: Added bits from todo for Isabelle

---
 isa/todo | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/isa/todo b/isa/todo
index 39d775bf..8e68bc23 100644
--- a/isa/todo
+++ b/isa/todo
@@ -4,6 +4,12 @@
 
 See also ../todo for generic things to do, priority codes.
 
+** D Isabelle: I think show_sorts -> show_types, how can we reflect this ?
+
+** D Fix mode naming for Isabelle 
+     (might like isa-proofscript-mode -> isa-mode;
+      but this conflicts with entry mechanism for thy/isa mode).
+
 ** D Might be nice to unify menus a little more, e.g. add Isabelle for .thy
 
    But several of the ops there are not relevant for theory files.
-- 
cgit v1.2.3