Opened 14 years ago

Closed 14 years ago

#358 closed defect (invalid)

link to proof general is broken

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. The web page also says "link broken".

Change History (1)

comment:1 Changed 14 years ago by David Aspinall

Resolution: → invalid
Status: new → closed

Not a bug, 4.0 not yet released. Sorry for confusion.

Note: See TracTickets for help on using tickets.