Opened 12 years ago
Closed 12 years ago
#440 closed defect (fixed)
User manual link on development page broken
Reported by: | coquser | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-4.2 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
Hi,
on the development page (http://proofgeneral.inf.ed.ac.uk/devel) the link to the latest user manual (pointing to http://proofgeneral.inf.ed.ac.uk/userman-latest.html) does not work.
Bye,
Hendrik
Change History (2)
comment:1 Changed 12 years ago by
Status: | new → accepted |
---|
comment:2 Changed 12 years ago by
Resolution: | → fixed |
---|---|
Status: | accepted → closed |
Note: See
TracTickets for help on using
tickets.