Opened 11 years ago

Closed 11 years ago

#477 closed defect (fixed)

[Proposition] is not highlighted like [Lemma]

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

Description

In my version of emacs + PG, Instance, Lemma, etc all get highlighted blue, but Proposition is the default text color.

Change History (1)

comment:1 Changed 11 years ago by courtieu

Resolution: fixed
Status: newclosed

Thanks. Fixed.

Note: See TracTickets for help on using tickets.