Re: [isabelle] trouble with sledgehammer/ProofGeneral in Isabelle2013
On 18.03.2013 19:43, Randy Pollack wrote:
I haven't a clue how to use the jedit interface. I type in a small
example and it just sits there doing nothing. Where do I look for the
"goals" and "response" buffers?
It only works on .thy files, so you need to save the file at least once.
By default, you find the output buffer on the bottom of the screen as
This archive was generated by a fusion of
Pipermail (Mailman edition) and