Timeline
Oct 21, 2015:
- 4:47 PM Ticket #508 (The option -emacs-U is depracated Proof General should use -emacs instead.) created by
- When you run Coq 8.4pl6 with the option -emacs-U, you obtain the …
Note: See TracTimeline
for information about the timeline view.