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: 01

comment:3 Changed 20 years ago by gwright@…

Status: newassigned

comment:4 Changed 20 years ago by gwright@…

Resolution: fixed
Status: assignedclosed

Committed with minor changes. Thanks!

Note: See TracTickets for help on using tickets.