From 6ab21c5d86f4b85658c636a532cc3d9ca06653ba Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 19 Sep 2000 09:44:49 +0000
Subject: done: ability to choose logic;

---
 isa/todo | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/isa/todo b/isa/todo
index a4e10698..39d775bf 100644
--- a/isa/todo
+++ b/isa/todo
@@ -70,11 +70,6 @@ See also ../todo for generic things to do, priority codes.
     ProofGeneral.isa_restart(); 
     /usr/lib/Isabelle_22-Sep-1999/../../share/smlnj/bin/sml: Fatal error -- unexpected fault, signal = 11, code = 0x2af9e01b
 
-** X Add ability to choose logic.  Maybe not necessary: can use default
-  set in Isabelle settings nowadays, in the premise that most people
-  stick to a particular logic?   But then no support for loading
-  user-saved databases.  (ponder this)
-
 ** X Write perl scripts to generate TAGS file for ML and thy files.
   (60h, any volunteers?) (hard);
 
-- 
cgit v1.2.3