diff options
| -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$ |