[isabelle-dev] Isabelle release test website
makarius at sketis.net
Wed May 2 13:55:05 CEST 2012
On Thu, 26 Apr 2012, Christian Sternagel wrote:
> Referring to
> When calling
> ./bin/isabelle mirabelle
> I obtain
> Available OPTIONs for the ACTION sledgehammer:
> No such file or directory
I have amended this in Isabelle/bbc3e7bccc61 -- I was partly responsible
for the confusion of Nik Sultana here.
I have also made the shell script a bit more robust in 030d3c89eacf,
hopefully without breaking it.
> I was just curious what "mirabelle" actually is/does, which I still
> don't know.
I don't know how (or if) it is tested.
More information about the isabelle-dev