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
Add an attachment (proposed patch, testcase, etc.)

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
            freebsd_triage
        

        
          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
            freebsd_triage
        

        
          2005-09-01 11:04:17 UTC
        

      






State Changed
From-To: open->closed

New port added, thank you!