Re: [isabelle] Isabelle2013-RC1 available for testing

Hi Makarius,

I had no problem in installing and using the leaked version from January
the11th. But I could
not  successfully install this RC.   After the unpacking of files, it opens
command prompt windows and stays forever "initializing Cygwin". See image
I repeated this installation three times.

Even though, I continue the installation process executing Isabelle, after
killing the
command prompt window. The build process
(now presented in more detail) was successful.

Anyway, Avast AutoSandbox complain systematically about the following


However, it gives permission to continue execution after 15 seconds or so
each file.

Then I went to a final test: configuring a session for document
preparation. After executing the
cygwin terminal I got a message that somethings did not go well (group
telling that some files should be rebuilt. See attached image. Probably
this is related to that faulty
initialization mentioned above

I stop here and wait from some feedback of you.


On Sun, Jan 20, 2013 at 5:38 PM, Makarius <makarius at> wrote:

> Dear all,
> the Isabelle2013 release is anticipated for February 2013.  Before actual
> lift-off we have approx. 3 weeks of public testing of release candidates.
> See**isabelle_project/isabelle-**release<>for the main website where this is organized.  There is also a link to an
> issue tracker on the same Bitbucket site.
> The main Isabelle2013-RC1 download page is**
> website-Isabelle2013-RC1<>-- although some parts of the text of the webpage is still missing.
> Observations from testing release candidates may be discussed here on
> isabelle-users (not isabelle-dev), on the bitbucket tracker, or via private
> mail.
> Active participation in testing is important to iron out small problems,
> and raise the overall quality of the system for everybody. The time to sort
> out issues is now.
>         Makarius

Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Coordenador do Curso de Ciência da Computação
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil

Attachment: installation-stuck.PNG
Description: PNG image

Attachment: cygwin-group-problem.PNG
Description: PNG image

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