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 "Output" tab.

  -- Lars




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