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

[Timothy Bourke]

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
Cc:  
Subject: Re: ports/126067: [MAINTAINER] math/isabelle: update from 2007 to
	2008
Date: Mon, 4 Aug 2008 14:11:43 +1000

 --fUYQa+Pmc3FrFX/N
 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
       /usr/local/share/isabelle/src/HOL/ex
    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.
 
 
 --fUYQa+Pmc3FrFX/N
 Content-Type: application/pgp-signature
 Content-Disposition: inline
 
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2.0.4 (FreeBSD)
 
 iD8DBQFIloF/tKVK1sFb0ecRAoX9AJ9k1Ga5CQf/A36o7Ns/f6zmhVCoOgCfUOD+
 OGcA7+tjDV9d0zVQcS3hgDQ=
 =gmM6
 -----END PGP SIGNATURE-----
 
 --fUYQa+Pmc3FrFX/N--