diff options
| -rw-r--r-- | generic/proof-depends.el | 11 |
1 files 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> ;; |