[isabelle-dev] Isabelle release test website

Christian Sternagel c-sterna at jaist.ac.jp
Thu Apr 26 07:04:43 CEST 2012

Referring to


When calling

   ./bin/isabelle mirabelle

I obtain

   Available OPTIONs for the ACTION sledgehammer:
No such file or directory

(I was just curious what "mirabelle" actually is/does, which I still 
don't know).



On 04/18/2012 10:18 PM, Makarius wrote:
> In preparation of the release, the following test website is now
> available: http://www4.in.tum.de/~wenzelm/test/website/
> So far this is just for warming up, and to see pending issues of overall
> system integration. I have already updated many of the contributing
> components: Scala, Java, Emacs, some ATPs etc. -- so it is worth looking
> if it already works or not.
> There are still 2 weeks left to consolidate and converge the main
> Isabelle repository. This means to wrap up things that are almost ready
> to be given to end-users, and update NEWS/CONTRIBUTORS accordingly.
> Things that are not ready should be put in a state where they don't
> interfere with officially published stable functionality.
> In the first week of May there will then be the fork to the release
> repository, which means changes of critical issues can still be sent via
> email to me, but any other ongoing development will be for the release
> after the next release on the main Isabelle repository.
> Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list