Opened 8 years ago
#510 new defect
coq-time-commands hangs on bullets with Coq-8.5
Reported by: | coquser | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | PG-Emacs-4.3 |
Component: | 2:pg-emacs | Keywords: | coq-time-commands bullets |
Cc: | florent.hivert@… |
Description
On Coq-8.5 if coq-time-commands is activated, PG hangs on bullets as in
Goal True. Proof. -
Florent Hivert
Note: See
TracTickets for help on using
tickets.