Timeline



Apr 28, 2016:

2:16 PM Ticket #511 (new Coq command "From" supported by PG?) closed by coquser
invalid
1:56 PM Ticket #511 (new Coq command "From" supported by PG?) created by coquser
When trying to use the new Coq command "From" …

Mar 15, 2016:

12:02 AM Ticket #510 (coq-time-commands hangs on bullets with Coq-8.5) created by coquser
On Coq-8.5 if coq-time-commands is activated, PG hangs on bullets as …

Feb 2, 2016:

4:02 PM Ticket #509 (isar/isar-unicode-tokens.el:687:1:Error: the function `isar-markup-ml' ...) created by coquser
I searched and found the same error reported already as Ticket #500. …
Note: See TracTimeline for information about the timeline view.