diff options
Diffstat (limited to 'isa/ProofGeneral.ML')
-rw-r--r-- | isa/ProofGeneral.ML | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/isa/ProofGeneral.ML b/isa/ProofGeneral.ML index bd0ccc3e..a9ca39ea 100644 --- a/isa/ProofGeneral.ML +++ b/isa/ProofGeneral.ML @@ -1,8 +1,9 @@ (* - ProofGeneral.ML - Isabelle configuration for Proof General. + Author: David Aspinall <da@dcs.ed.ac.uk> + Contact: Proof General maintainer <proofgen@dcs.ed.ac.uk> + $Id$ *) |