Re: [isabelle] Two questions of a beginner



On Fri, 18 Jan 2013, Not Sure wrote:

1. blast, auto, ... are all GREAT!
But is there a way (in ProofGeneral) to see the proofs found by these
tools more detail?

Side note: You should definitely try Isabelle/jEdit instead of Proof General.

I've myself been substantially involved in making Isabelle Proof General work 13 years ago, but I don't see any reason left to use it today (only habits of Emacs users that have to be unlearned.)


	Makarius





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