On Tue, 9 Dec 2014, Christian Sternagel wrote:
> Z3_NON_COMMERCIAL="yes"
You can remove that and use option preferences instead, e.g. see
Isabelle/jEdit plugin properties: Isabelle / General / Miscellaneous
Tools / Z3 Non Commercial.
Roger that. Out of curiosity, where are such options ac
On 12/09/2014 05:40 PM, Makarius wrote:
On Tue, 9 Dec 2014, Christian Sternagel wrote:
Today Isabelle/jEdit grayed out and became irresponsive after
switching from one thy file to another (with C+`). So I waited about 1
minute and when nothing seemed to change I killed the corresponding
process
On Tue, 9 Dec 2014, Christian Sternagel wrote:
Today Isabelle/jEdit grayed out and became irresponsive after switching
from one thy file to another (with C+`). So I waited about 1 minute and
when nothing seemed to change I killed the corresponding process. As a
result I obtained the attached l
Maybe this is of interest for somebody (Makarius?). If its irrelevant,
sorry for the spam.
Today Isabelle/jEdit grayed out and became irresponsive after switching
from one thy file to another (with C+`). So I waited about 1 minute and
when nothing seemed to change I killed the corresponding pr