diff options
| author | David Aspinall | 1999-08-23 19:32:29 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-23 19:32:29 +0000 |
| commit | dedfaeada7a086c4bf6bbc3cce11480780f38799 (patch) | |
| tree | c772aec10835a8fa4bfc2975550e6a8050a94166 | |
| parent | f802355c69ae4309d711bedc2680a11c32b05116 (diff) | |
Maintainer addresses
| -rw-r--r-- | isa/isa-syntax.el | 2 | ||||
| -rw-r--r-- | isa/isa.el | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el index e79b9a7e..e4b77450 100644 --- a/isa/isa-syntax.el +++ b/isa/isa-syntax.el @@ -2,7 +2,7 @@ ;; Copyright (C) 1994-1998 LFCS Edinburgh. ;; ;; Author: David Aspinall <da@dcs.ed.ac.uk> -;; Maintainer: David Aspinall <da@dcs.ed.ac.uk> +;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> ;; ;; $Id$ ;; @@ -2,7 +2,7 @@ ;; Copyright (C) 1994-1998 LFCS Edinburgh. ;; ;; Author: David Aspinall <da@dcs.ed.ac.uk> -;; Maintainer: Isabelle maintainer <isabelle@dcs.ed.ac.uk> +;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> ;; ;; $Id$ |