From 0e26c563a5c219e60c58e97794494e1940f4d5f4 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 15 Jun 2000 12:53:58 +0000 Subject: More comments at top of file --- generic/proof-x-symbol.el | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 9e38cec4..05a3bd96 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -1,13 +1,19 @@ -;; proof-x-symbol.el Support for x-symbol package +;; proof-x-symbol.el Support for X-Symbol package ;; ;; Copyright (C) 1998,9 LFCS Edinburgh. ;; Author: David Aspinall +;; Maintainer: Proof General maintainer +;; +;; The X-Symbol package is currently available at +;; http://www.fmi.uni-passau.de/~wedler/x-symbol ;; ;; With thanks to David von Oheimb for providing the original ;; patches for using X-Symbol with Isabelle Proof General, ;; and helping to write this file. ;; -;; Maintainer: Proof General maintainer +;; This file is standalone so that the X-Symbol mode for particular +;; proof assistants may be used elsewhere (e.g. in document modes), +;; without loading all of Proof General. ;; ;; proof-x-symbol.el,v 2.4 1999/08/23 18:38:40 da Exp ;; -- cgit v1.2.3