Re: [isabelle] Sledgehammer stops working sometimes



On 10/02/18 17:07, Kawin Worrasangasilpa wrote:
> 
> Lately, I have been facing a problem that sledgehammer does not respond but
> shows that it is running sometimes. I don't know this problem is a kind of
> version 2017's bug or not, but I think it is not. This is because I faced
> it more often since last month with version 2016, so I changed to 2017
> hoping it would help. Could I ask whether there are any settings or
> checking processes that I can do to sort this out?

What is your operating system? Did you change anything there recently?
Updates etc.


	Makarius





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