[isabelle-dev] Isabelle release test website

[Christian Sternagel]

Referring to

 
http://www4.in.tum.de/~wenzelm/test/website/dist/Isabelle_25-Apr-2012_bundle_x86_64-linux.tar.gz

When calling

   ./bin/isabelle mirabelle

I obtain

   ...
   Available OPTIONs for the ACTION sledgehammer:
grep: 
/home/griff/Downloads/Isabelle_25-Apr-2012/src/HOL/Mirabelle/Actions/mirabelle_sledgehammer.ML: 
No such file or directory
   ...

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

cheers

chris

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