[isabelle] help



When I click "Isabelle--start isabelle " of the emacs menu =
 ,emacs show the error:unknow logic "HOL" ,no heap file found  =
 in:/root/isabelle/heaps/polyml_x86-linux,/usr/local/Isabele2005/=
heaps/polyml_x86-linux.   Why?
    another,there is  not "Settings" command in "Isabelle" menu=
 item of the emacs menu,why?




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.