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".

Change History (1)

comment:1 Changed 14 years ago by David Aspinall

Resolution: → fixed
Status: new → closed

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.

Note: See TracTickets for help on using tickets.