From cc6183149ffe42fb32e446a780ae3a19e77a7958 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 20 Aug 1999 15:42:58 +0000
Subject: Improvement for C-c C-o mentioned

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

diff --git a/todo b/todo
index a6048627..23897cc5 100644
--- a/todo
+++ b/todo
@@ -578,6 +578,9 @@ D Add useful specific commands for Isabelle.  Many could
   (however, probably a month's work to bring together Isamode 
    and proof.el, making some of Isamode generic)
 
+D Switching to other file with C-c C-o could be more savy
+  with file names and extensions (use some standard function?)
+
 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
-- 
cgit v1.2.3