Re: [isabelle] Unknown Isabelle tool: tty
Here I stopped my trials for another question, where you are probably
the only person to answer it: In the meanwhile I found out, that the
Isabelle installation on my computer behaves coherently:
wneuper at ProBook:~/proto3$
Unknown Isabelle tool: tty
where the script "START_ISABELLE", called from Java, is a plain
"isabelle tty ..."
So my question: Can we run Isabelle2013-2 and Isabelle2014 in parallel
on one computer?
And if yes: How do we do that?
The same error message occurs after deletion of "~/.isabelle" and
re-build of Isabelle2013-2.
This archive was generated by a fusion of
Pipermail (Mailman edition) and