Bug 101749

Summary: Update port: math/isabelle
Product: Ports & Packages Reporter: Timothy Bourke <timbob>
Component: Individual Port(s)Assignee: freebsd-ports-bugs (Nobody) <ports-bugs>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
file.diff none

Description Timothy Bourke 2006-08-10 10:50:11 UTC 
math/isabelle does not build on pointyhat, because the build process
requires a non-standard kernel setting.

(refer http://docs.freebsd.org/cgi/mid.cgi?20060521015932.GB603)

My apologies for the delay.
Comment 1 Edwin Groothuis freebsd_committer freebsd_triage 2006-08-10 10:50:30 UTC 
Class Changed
From-To: change-request->maintainer-update

Fix category (submitter is maintainer)
Comment 2 Rong-En Fan freebsd_committer freebsd_triage 2006-08-10 13:05:27 UTC 
State Changed
From-To: open->closed

Committed, with minor changes. Thanks!