[isabelle-dev] sledgehammer / yices

[Christian Sternagel]

Dear all,

I am sure this is already in the pipeline. It seems that the variable 
YICES_INSTALLED (and the analogue for other solvers) should be mentioned 
in the documentation of sledgehammer (since what is currently given as 
installation instructions in `isabelle doc sledgehammer` of changeset 
3060e6343953 does not work without setting YICES_INSTALLED="yes").

cheers

chris