diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 14:31:08 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 14:31:08 +0000 |
| commit | f19cf18174cb08ea83caee0a675620f2704cb170 (patch) | |
| tree | c1ce8ba0d55f26d0eb19d37b98c045a80af9d2fc /generic/proof-depends.el | |
| parent | 6c738c012cbadad206ed385f2cc0cddae02273f1 (diff) | |
Update comments
Diffstat (limited to 'generic/proof-depends.el')
| -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> ;; |