Re: [isabelle] A question on isabelle/HOL

On Thu, 7 Aug 2008, mary mm wrote:

> I installed the proof general and other packages on linux. But any time 
> I use it it shows me an error like," Unable to load header" and "process 
> isabelle exited abnormally with code 1".

Which version of Isabelle, Poly/ML, Linux and Emacs is this?  What happens 
when you run plain "Isabelle/bin/isatool tty"?


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