diff options
| author | Thomas Kleymann | 1998-10-02 14:25:23 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-02 14:25:23 +0000 |
| commit | 18314b0a1712c6af10151c22ebde87bcb36611c5 (patch) | |
| tree | ec7901a6281a25897dceeef78656d63bb62b6313 /isa/ProofGeneral.ML | |
| parent | 1740210c5f11e2ead43dcbebe055c40f89d08304 (diff) | |
changed maintainer information to lego@dcs and isabelle@dcs .
Diffstat (limited to 'isa/ProofGeneral.ML')
| -rw-r--r-- | isa/ProofGeneral.ML | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/ProofGeneral.ML b/isa/ProofGeneral.ML index a9ca39ea..100aa4ad 100644 --- a/isa/ProofGeneral.ML +++ b/isa/ProofGeneral.ML @@ -2,7 +2,7 @@ Isabelle configuration for Proof General. Author: David Aspinall <da@dcs.ed.ac.uk> - Contact: Proof General maintainer <proofgen@dcs.ed.ac.uk> + Contact: Isabelle maintainer <isabelle@dcs.ed.ac.uk> $Id$ |