Re: [isabelle] Two configuration questions



On Mon, 10 Feb 2014, Buday Gergely wrote:

http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2013-2/doc/sledgehammer.pdf

gives you details on how to set the necessary shell variables. If on Windows, you should start the batch file that gives you a cygwin prompt and then go ahead. Read the section 2 Installation.

That seems to be mostly outdated, from long ago when there were no "Isabelle components" yet. I don't know anything about the practical relevance of the zoo of exotic provers, but the main ones are already included in the Isabelle distribution.

The remote Z3 server at TUM disappeared without anybody taking notice.


	Makarius




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