Opened 13 years ago

Closed 13 years ago

#415 closed defect (fixed)

Wrong file mentioned in installation notes

Reported by: coquser Owned by: David Aspinall
Priority: trivial Milestone: PG-Emacs-4.1
Component: 6:web-and-docs Keywords:
Cc:

Description

In the Installation notes (http://proofgeneral.inf.ed.ac.uk/fileshow.php?file=releases%2FProofGeneral%2Fcoq%2FREADME), the user is warned to "Check the values of coq-tags and coq-prog-name in coq.el to see that they correspond to the paths for coqtop and the library on your system.". Yet coq-prog-name is set in coq-syntax.el, on line 18: "(defcustom coq-prog-name ;; da: moved from coq.el since needed here".

Change History (1)

comment:1 Changed 13 years ago by David Aspinall

Resolution: → fixed
Status: new → closed

Thanks for the note. I've moved it back to coq.el, it seems to work there again.

Note: See TracTickets for help on using tickets.