Opened 10 years ago
#490 new defect
Bad parsing of .}
Reported by: | coquser | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | PG-Emacs-4.3 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
In ProofGeneral with Coq, I cannot execute a script past “.}” as in the following:
Goal True. {auto.}
I think that PG should issue an error message.
Note: See
TracTickets for help on using
tickets.