[isabelle-dev] Isabelle_25-Sep-2013 integration test

Alfio Martini alfio.martini at acm.org
Wed Sep 25 23:06:01 CEST 2013

First impression: amazing!!

Huge thanks a lot for everyone involved in this new release. Isabelle/jEdit
seems like
a brave new world!

All the Best!

On Wed, Sep 25, 2013 at 12:37 PM, Makarius <makarius at sketis.net> wrote:

> Here is another integration test (based on Isabelle/c83727c7a510):
>   http://www4.in.tum.de/~**wenzelm/test/Isabelle_25-Sep-**2013<http://www4.in.tum.de/~wenzelm/test/Isabelle_25-Sep-2013>
> Many of the contributing components have changed since last time, so it is
> worth checking again if everything fits together on all platforms, and
> nothing important is missing.
> Next week or so we start with official release candidates on
> isabelle-users.  Right now it is just everyday business on isabelle-dev.
>         Makarius
> ______________________________**_________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.**informatik.tu-muenchen.de/**
> mailman/listinfo/isabelle-dev<https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev>

Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Lattes:  http://lattes.cnpq.br/4016080665372277
Associate Professor at Faculty of Informatics (PUCRS)
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130925/d17a3c99/attachment-0002.html>

More information about the isabelle-dev mailing list