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 <[email protected]> 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 > [email protected] > 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) www.inf.pucrs.br/alfio 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
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
