[isabelle-dev] Towards Isabelle2011 release
makarius at sketis.net
Fri Jan 28 19:14:49 CET 2011
On Fri, 28 Jan 2011, Makarius wrote:
> On Thu, 27 Jan 2011, Makarius wrote:
>> Yet another test release:
> There is now an update of the same isa2011-test3 with a patched version of
> ProofGeneral-4.1pre110112 as follows:
> * Mac OS X fonts: instead of IsabelleText refer to STIXGeneral as fall
> back, which is somehow hardwired into Proof General 4.1
> * (proof-full-annotation nil) for improved stability and performance.
> * (proof-strict-read-only t) for improved stability.
> There is a remaining issue with preferences
> http://proofgeneral.inf.ed.ac.uk/trac/ticket/387 which is a show-stopper
> for the Isabelle2011 release.
This is one more update of
The only difference to above is ProofGeneral-4.1pre101216 instead of
ProofGeneral-4.1pre110112 as basis for our patches, so the problem of
ticket/387 is absent.
After one more round of looking closely at the distribution, we have a
chance for the final Isabelle2011 snapshot on Sunday or Monday.
More information about the isabelle-dev