Opened 14 years ago
Closed 14 years ago
#360 closed defect (fixed)
link to proof general is broken and lacks helpful message
Reported by: | megacz | Owned by: | David Aspinall |
---|---|---|---|
Priority: | blocker | Milestone: | PG-Emacs-4.0 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
The link to Proof General 4.0 on http://proofgeneral.inf.ed.ac.uk/download is broken and the comment next to the link simply says "link broken" instead of something more helpful like "not yet available, here is the link to the previous version".
Note: See
TracTickets for help on using
tickets.
OK, reformatted just for you. You only needed to read one line higher where it said what you asked!
Would be very grateful to have some helpful bug reports as well.