Re: [isabelle] Isabelle2013-2-RC1 available for testing



I have the same effect under Linux(Ubuntu) occasionally,
but no reliable way how to reproduce.

--
  Peter


On Mo, 2013-11-25 at 10:27 +0100, bnord wrote:
> By the way, I could reproduce this under Linux on the same machine (a 
> little less frequent) and could reproduce it under OS X on a different 
> machine only when letting the non-terminating command run for a while. 
> This also left me with a runaway process under OS X which I had to 
> terminate manually after exiting Isabelle/Jedit.
> 
> Best
>      Benedikt
> 
> Am 25.11.13 07:29, schrieb bnord:
> > Hi,
> >
> > when trying the "lemma False by (intro TrueE)" example on Windows many 
> > times the whole Isabelle interaction seems to freeze, everything from 
> > the previous command becomes a light-gray-pinkish background and there 
> > is no Isabelle output/response whatsoever. Sometimes after running for 
> > several minutes in the background the process seems to recover somehow.
> >
> > Best
> >     Benedikt
> >
> > Am 24.11.2013 19:45, schrieb Makarius:
> >> Dear Isabelle users,
> >>
> >> this is another attempt to make a stable release of Isabelle this 
> >> autumn:
> >>
> >>   http://isabelle.in.tum.de/website-Isabelle2013-2-RC1
> >>
> >> This is presumably the only release candidate before final lift-off 
> >> of Isabelle2013-2 in the first days of December.
> >>
> >>
> >> Notable changes versus Isabelle2013-1 (from NEWS):
> >>
> >> *** Prover IDE -- Isabelle/Scala/jEdit ***
> >>
> >> * More robust editing of running commands with internal forks,
> >> e.g. non-terminating 'by' steps.
> >>
> >> * More relaxed Sledgehammer panel: avoid repeated application of query
> >> after edits surrounding the command location.
> >>
> >>
> >> There should not be any incompatibilites wrt. Isabelle2013-1, which 
> >> means everybody who is already on the latest release can try out the 
> >> new release candidate without any extra efforts.
> >>
> >>
> >> See also https://bitbucket.org/isabelle_project/isabelle-release for 
> >> the main website where the Isabelle release process is formally 
> >> organized. There is also a link to an issue tracker on this Bitbucket 
> >> site.
> >>
> >> Observations from testing release candidates may be discussed here on 
> >> isabelle-users (not isabelle-dev), on the bitbucket tracker, or via 
> >> private mail.
> >>
> >>
> >>     Makarius
> >>
> >
> 






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.