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.
Note: See
TracTickets for help on using
tickets.