Opened 16 years ago

Closed 16 years ago

#181 closed defect (fixed)

Strange font-lock warning/error in GNU Emacs 21.4.1 (Ubuntu 7.10)

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

Description

Starting Proof General with GNU Emacs 21.4.1 (Ubuntu 7.10) produces the following warning/error:

File mode specification error: (void-variable font-lock-extra-managed-props) File local-variables error: (void-variable font-lock-extra-managed-props)

This appears to be mostly harmless, i.e. the system seems to work despite of this.

Change History (1)

comment:1 Changed 16 years ago by David Aspinall

Resolution: → fixed
Status: new → closed

Fixed. Same issue as #182.

Note: See TracTickets for help on using tickets.