Opened 10 years ago

Closed 9 years ago

#484 closed defect (fixed)

[Existing Instances] should be highlighted like [Existing Instance]

Reported by: coquser Owned by: David Aspinall
Priority: minor Milestone: PG-Emacs-4.3
Component: 2:pg-emacs Keywords: highlighting
Cc: jasongross9+pg@…

Description


Change History (2)

comment:1 Changed 9 years ago by coquser

Here's a patch:

Index: coq/coq-syntax.el
===================================================================
RCS file: /disk/cvs/proofgen/ProofGeneral/coq/coq-syntax.el,v
retrieving revision 11.34
diff -u -r11.34 coq-syntax.el
--- coq/coq-syntax.el	14 Apr 2015 13:53:21 -0000	11.34
+++ coq/coq-syntax.el	27 Apr 2015 15:37:31 -0000
@@ -400,6 +400,7 @@
     ("Hint Rewrite <-" "hrw" "Hint Rewrite <- @{t1,t2...} using @{tac} : @{db}." t )
     ("Hint Unfold" "hu" "Hint Unfold # : #." t "Hint\\s-+Unfold")
     ("Existing Instance" nil "Existing Instance " t "Existing\\s-+Instance")
+    ("Existing Instances" nil "Existing Instances " t "Existing\\s-+Instances")
     ("Hypothesis" "hyp" "Hypothesis #: #" t "Hypothesis")
     ("Hypotheses" "hyp" "Hypotheses #: #" t "Hypotheses")
     ("Parameter" "par" "Parameter #: #" t "Parameter")

comment:2 Changed 9 years ago by courtieu

Resolution: fixed
Status: newclosed

Applied. Thanks.

Note: See TracTickets for help on using tickets.