Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Unknown Isabelle tool: tty

view this post on Zulip Email Gateway (Aug 22 2022 at 09:08):

From: Walther Neuper <wneuper@ist.tugraz.at>
The same error message occurs after deletion of "~/.isabelle" and
re-build of Isabelle2013-2.

Walther

view this post on Zulip Email Gateway (Aug 22 2022 at 09:09):

From: Walther Neuper <wneuper@ist.tugraz.at>
sorry for the noise: with the right paths both, Isabelle2013-2 and
Isabelle2014, work fine in parallel

Last updated: Nov 21 2024 at 12:39 UTC