Timeline



Oct 21, 2015:

4:47 PM Ticket #508 (The option -emacs-U is depracated Proof General should use -emacs instead.) created by coquser
When you run Coq 8.4pl6 with the option -emacs-U, you obtain the …

Aug 29, 2015:

11:18 AM Ticket #507 (PG for Coq does not interpret quotes within comments like Coq does) created by coquser
In a file containing e.g.: (* " *) Definition z := 0. (* " *) Proof …
Note: See TracTimeline for information about the timeline view.