Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 10 Aug 2006 12:05:28 GMT
From:      Rong-En Fan <rafan@FreeBSD.org>
To:        timbob@bigpond.com, rafan@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org
Subject:   Re: ports/101749: Update port: math/isabelle
Message-ID:  <200608101205.k7AC5S72043065@freefall.freebsd.org>

next in thread | raw e-mail | index | archive | help
Synopsis: Update port: math/isabelle

State-Changed-From-To: open->closed
State-Changed-By: rafan
State-Changed-When: Thu Aug 10 12:05:27 UTC 2006
State-Changed-Why: 
Committed, with minor changes. Thanks!

http://www.freebsd.org/cgi/query-pr.cgi?pr=101749



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200608101205.k7AC5S72043065>