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