From 5b209528fc1eef36d53d4cb1fbf65b6fe76a1098 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 12 Nov 2007 18:15:31 +0000 Subject: Fix http://proofgeneral.inf.ed.ac.uk/trac/ticket/160 --- coq/coq-syntax.el | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 7be523d2..7060f2d0 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1,6 +1,6 @@ - ;; coq-syntax.el Font lock expressions for Coq -;; Copyright (C) 1997, 1998 LFCS Edinburgh. -;; Authors: Thomas Kleymann and Healfdene Goguen +;; coq-syntax.el Font lock expressions for Coq +;; Copyright (C) 1997-2007 LFCS Edinburgh. +;; Authors: Thomas Kleymann, Healfdene Goguen, Pierre Courtieu ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; Maintainer: Pierre Courtieu @@ -700,6 +700,7 @@ Used by `coq-goal-command-p'" "Qed" "End" "Admitted" + "Abort" )) (defvar coq-keywords-save -- cgit v1.2.3