Re: [isabelle] Two configuration questions
On Mon, 10 Feb 2014, Buday Gergely wrote:
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and