Opened 10 years ago

Closed 10 years ago

#487 closed defect (fixed)

Coq syntax highlighting: Proposition

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

Description

The Proposition vernacular command is not highlighted properly.

Change History (1)

comment:1 Changed 10 years ago by coquser

Resolution: → fixed
Status: new → closed

Looks fixed in latest CVS.

Note: See TracTickets for help on using tickets.