Opened 8 years ago

#508 new defect

The option -emacs-U is depracated Proof General should use -emacs instead.

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

Description

When you run Coq 8.4pl6 with the option -emacs-U, you obtain the message: Warning: Obsolete option "-emacs-U", use -emacs instead. This prevents Proof General from working with new versions of Coq.

Change History (0)

Note: See TracTickets for help on using tickets.