Date: Mon, 4 Aug 2008 06:20:06 GMT From: Timothy Bourke <timbob@bigpond.com> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/126067: [MAINTAINER] math/isabelle: update from 2007 to 2008 Message-ID: <200808040620.m746K6Y6029504@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/126067; it has been noted by GNATS.
From: Timothy Bourke <timbob@bigpond.com>
To: bug-followup@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--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200808040620.m746K6Y6029504>