Bug 84859 - New Port: math/isabelle
Summary: New Port: math/isabelle
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: Simon Barner
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-08-13 05:30 UTC by Timothy Bourke
Modified: 2005-09-01 11:04 UTC (History)
1 user (show)

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Timothy Bourke 2005-08-13 05:30:16 UTC

    
Comment 1 Simon Barner freebsd_committer 2005-08-13 10:32:56 UTC
Responsible Changed
From-To: freebsd-ports-bugs->barner

I'll handle this.
Comment 2 Simon Barner freebsd_committer 2005-09-01 11:04:17 UTC
State Changed
From-To: open->closed

New port added, thank you!