Opened 20 years ago

Closed 20 years ago

#2430 closed defect (fixed)

Isabelle/HOL 2004 Portfile

Reported by: dem5302@… Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 1.0
Keywords: Cc:
Port:

Description

This is a portfile for the Isabelle proof system.

Attachments (2)

Portfile​ (1.7 KB) - added by dem5302@… 20 years ago.
Isabelle 2004 portfile
Portfile.2​ (2.2 KB) - added by dem5302@… 20 years ago.
The real Isabelle portfile

Download all attachments as: .zip

Change History (6)

Changed 20 years ago by dem5302@…

Attachment: Portfile​ added

Isabelle 2004 portfile

comment:1 Changed 20 years ago by toby@…

the attachment is for lang/polyml [2417]

Changed 20 years ago by dem5302@…

Attachment: Portfile.2​ added

The real Isabelle portfile

comment:2 Changed 20 years ago by dem5302@…

attachments.isobsolete: 0 → 1

comment:3 Changed 20 years ago by gwright@…

Status: new → assigned

comment:4 Changed 20 years ago by gwright@…

Resolution: → fixed
Status: assigned → closed

Committed with minor changes. Thanks!

Note: See TracTickets for help on using tickets.