Opened 8 years ago

Closed 8 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 8 years ago by David Aspinall

Status: newaccepted

comment:2 Changed 8 years ago by David Aspinall

Resolution: fixed
Status: acceptedclosed
Note: See TracTickets for help on using tickets.