Update copyright messages and improve the header of elisp files.

4 files changed, 64 insertions, 12 deletions

diff --git a/etc/emacsbugs/visiblity-attempt.el b/etc/emacsbugs/visiblity-attempt.el
index ad88799c..b6486116 100644
--- a/etc/emacsbugs/visiblity-attempt.el
+++ b/etc/emacsbugs/visiblity-attempt.el
@@ -1,6 +1,21 @@
-;;;
-;;; === Test area for invisibility ===
-;;;
+;;; visiblity-attempt.el --- Test area for invisibility
+
+;; This file is part of Proof General.
+
+;; Portions © Copyright 1994-2012  David Aspinall and University of Edinburgh
+;; Portions © Copyright 2003, 2012, 2014  Free Software Foundation, Inc.
+;; Portions © Copyright 2001-2017  Pierre Courtieu
+;; Portions © Copyright 2010, 2016  Erik Martin-Dorel
+;; Portions © Copyright 2011-2013, 2016-2017  Hendrik Tews
+;; Portions © Copyright 2015-2017  Clément Pit-Claudel
+
+;;; Commentary:
+;;
+;; Test area for invisibility
+;;
+
+;;; Code:
+
 (defvar vis nil)
 
 (overlay-put (make-overlay 18 22) 'invisible 'smaller)
diff --git a/etc/lego/lego-site.el b/etc/lego/lego-site.el
index 55098331..1a31f354 100644
--- a/etc/lego/lego-site.el
+++ b/etc/lego/lego-site.el
@@ -1,8 +1,22 @@
-;;; lego-site.el  Site-specific Emacs support for LEGO
-;;; Copyright (C) 1998 LFCS Edinburgh
+;;; lego-site.el --- Site-specific Emacs support for LEGO
+
+;; This file is part of Proof General.
+
+;; Portions © Copyright 1994-2012  David Aspinall and University of Edinburgh
+;; Portions © Copyright 2003, 2012, 2014  Free Software Foundation, Inc.
+;; Portions © Copyright 2001-2017  Pierre Courtieu
+;; Portions © Copyright 2010, 2016  Erik Martin-Dorel
+;; Portions © Copyright 2011-2013, 2016-2017  Hendrik Tews
+;; Portions © Copyright 2015-2017  Clément Pit-Claudel
+
 ;;; Author: Thomas Kleymann <T.Kleymann@ed.ac.uk>
 ;;; Maintainer: lego@dcs.ed.ac.uk
 
+;;; Commentary:
+;;
+
+;;; Code:
+
 (let ((version (getenv "PROOFGENERAL")))
   (cond ((not version)		;default
 	 (setq load-path
@@ -20,4 +34,4 @@
 	 (load-file "/usr/local/share/elisp/ProofGeneral/generic/proof-site.el"))))
 	 
 
-	 
\ No newline at end of file
+	 
diff --git a/etc/testsuite/pg-pgip-test.el b/etc/testsuite/pg-pgip-test.el
index 9dbfaad7..968c2289 100644
--- a/etc/testsuite/pg-pgip-test.el
+++ b/etc/testsuite/pg-pgip-test.el
@@ -1,6 +1,18 @@
-;; Tests for pg-pgip.el
+;;; Tests for pg-pgip.el
+
+;; This file is part of Proof General.
+
+;; Portions © Copyright 1994-2012  David Aspinall and University of Edinburgh
+;; Portions © Copyright 2003, 2012, 2014  Free Software Foundation, Inc.
+;; Portions © Copyright 2001-2017  Pierre Courtieu
+;; Portions © Copyright 2010, 2016  Erik Martin-Dorel
+;; Portions © Copyright 2011-2013, 2016-2017  Hendrik Tews
+;; Portions © Copyright 2015-2017  Clément Pit-Claudel
+
+;;; Commentary:
 ;;
-;; $Id$
+
+;;; Code:
 
 (pg-clear-test-suite "pg-pgip")
 (pg-set-test-suite   "pg-pgip")
@@ -13,4 +25,4 @@
 
 
 (provide 'pg-pgip-test)
-;; End of `pg-pgip-test.el'
\ No newline at end of file
+;; End of `pg-pgip-test.el'
diff --git a/etc/testsuite/pg-test.el b/etc/testsuite/pg-test.el
index b8d236a7..2e3c2c10 100644
--- a/etc/testsuite/pg-test.el
+++ b/etc/testsuite/pg-test.el
@@ -1,8 +1,19 @@
-;; pg-test.el -- Simple test framework for Proof General.
-;;
-;; $Id$
+;;; pg-test.el --- Simple test framework for Proof General.
+
+;; This file is part of Proof General.
+
+;; Portions © Copyright 1994-2012  David Aspinall and University of Edinburgh
+;; Portions © Copyright 2003, 2012, 2014  Free Software Foundation, Inc.
+;; Portions © Copyright 2001-2017  Pierre Courtieu
+;; Portions © Copyright 2010, 2016  Erik Martin-Dorel
+;; Portions © Copyright 2011-2013, 2016-2017  Hendrik Tews
+;; Portions © Copyright 2015-2017  Clément Pit-Claudel
+
+;;; Commentary:
 ;;
 
+;;; Code:
+
 (defconst pg-test-buffer "** PG test output **")
 
 (defvar pg-test-total-success-count  0)