ports/126067: [MAINTAINER] math/isabelle: update from 2007 to 2008

Timothy Bourke timbob at bigpond.com
Mon Aug 4 06:20:06 UTC 2008

The following reply was made to PR ports/126067; it has been noted by GNATS.

From: Timothy Bourke <timbob at bigpond.com>
To: bug-followup at freebsd.org
Subject: Re: ports/126067: [MAINTAINER] math/isabelle: update from 2007 to
Date: Mon, 4 Aug 2008 14:11:43 +1000

 Content-Type: text/plain; charset=us-ascii
 Content-Disposition: inline
 To test the Isabelle installation (and Proofgeneral, and Poly/ML):
 1) type Isabelle
    xemacs should open with the Proofgeneral splash screen (a cartoon
    image of a general smoking a cigar).
 2) choose Open and select one of the files from
    for example: Sudoku.thy
 3) It should load with the mathematical symbols (not equal to,
    conjunction wedge, etc.) displayed correctly
 4) Press Ctrl-c, Ctrl-n to start Isabelle
 5) Press Ctrl-c, Ctrl-n to step through the statements, which become
    gradually highlighted in blue, as various data is displayed in the
    lower panel.
 Content-Type: application/pgp-signature
 Content-Disposition: inline
 Version: GnuPG v2.0.4 (FreeBSD)

More information about the freebsd-ports-bugs mailing list