Opened 17 years ago
Closed 17 years ago
#110 closed defect (fixed)
Search Rewrite and Search About queries for Proof General/Coq
Reported by: | Yves Bertot | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-3.7 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
The options "Search Rewrite ..." and "Search About ..." do not work in the pre-release (ProofGeneral-3.7pre070312)
To fix the problem I had to patch the file coq.el. I include the corrected version.
Attachments (1)
Change History (3)
Changed 17 years ago by
comment:1 Changed 17 years ago by
Component: | 1:pg-eclipse → 2:pg-emacs |
---|
comment:3 Changed 17 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
file from the package sources, with my own corrections