From f19cf18174cb08ea83caee0a675620f2704cb170 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 23 Sep 2000 14:31:08 +0000
Subject: Update comments

---
 generic/proof-depends.el | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/generic/proof-depends.el b/generic/proof-depends.el
index 52433770..62a21c5d 100644
--- a/generic/proof-depends.el
+++ b/generic/proof-depends.el
@@ -1,15 +1,22 @@
 ;; proof-depends.el  Functions
 ;;
 ;; Copyright (C) 2000 University of Edinburgh. 
-;; Author:   Fiona McNeill
+;; Author:      Fiona McNeill
 ;;
+;; Status:      Experimental code, currently dormant
 ;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
 ;; $Id$
 ;; 
+;; This file contains code written by Fiona McNeill for
+;; her MSc project on analysing dependencies within proofs.
+;; The code is currently experimental, rather Isabelle specific,
+;; and not integrated with the rest of PG.
+;;
 ;; FIXME:
 ;;
-;;  All functions should be renamed to proof-depends-<blah>
+;; * Clean up, rationalize and integrate
+;; * All functions should be renamed to proof-depends-<blah>
 ;;
 
 
-- 
cgit v1.2.3