ballarin at in.tum.de
Fri Jun 24 20:13:58 CEST 2011
While doing an 'isabelle makeall all' on my local machine, I
encountered the error
*** Unexpected outcome: "unknown".
*** At command "sledgehammer" (line 26 of
I guess I lack some sort of heavy equipment here. What surprises me
is that on macbroy2 I don't have set up sledgehammer either, but I
don't get this error.
More information about the isabelle-dev