From 76b7012bb8563382e3d78c464cb16e3f308fb43a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 Mar 2005 15:11:35 +0000
Subject: Updated.

---
 TODO.developer         | 3 +++
 doc/docstring-magic.el | 5 +++++
 2 files changed, 8 insertions(+)

diff --git a/TODO.developer b/TODO.developer
index 52c1e245..4e1dfa82 100644
--- a/TODO.developer
+++ b/TODO.developer
@@ -23,6 +23,9 @@ This is an outline file.   Use C-c C-n, C-c C-p or menu to navigate.
 ** Multiple file handling
 ** Automatic adjustment of line width
 
+* Docstring magic fixups
+** Some missing files
+** Isabelle classic remove?
 
 =================================================================
 
diff --git a/doc/docstring-magic.el b/doc/docstring-magic.el
index a3328b20..45822b4d 100644
--- a/doc/docstring-magic.el
+++ b/doc/docstring-magic.el
@@ -15,6 +15,11 @@
 (require 'proof-compat)
 (require 'proof-utils)
 
+; need these?
+;(require 'pg-user)
+;(require 'pg-goals)
+;(require 'pg-response)
+
 ;; FIXME: Loading several prover files at once is a bit of a problem
 ;; with new config mechanism.
 ;; Could abstract more code in proof-site.el to avoid duplication here.
-- 
cgit v1.2.3