From 4e0c2a00cfbb7ea5c5ab68573bfb0edb78e8bd6f Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sat, 12 Aug 2017 13:48:08 +0200 Subject: Update copyright messages and improve the header of elisp files. --- pg-init.el | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'pg-init.el') diff --git a/pg-init.el b/pg-init.el index 8fca25de..bdc6e4ea 100644 --- a/pg-init.el +++ b/pg-init.el @@ -1,6 +1,13 @@ ;;; pg-init.el --- Init file used for compatibility with package.el and ELPA -*- lexical-binding: t; -*- -;; Copyright (C) 2017 Clément Pit-Claudel +;; 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: Clément Pit-Claudel @@ -18,7 +25,7 @@ ;; along with this program. If not, see . ;;; Commentary: - +;; ;; Proof General's initialization code (in generic/proof-site) is relatively ;; complex, in part because it was written before package.el existed, and in ;; part because package.el still doesn't look for autoloads in subdirectories. -- cgit v1.2.3