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
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
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
> Back to afp_build: I merely made that in 2012 as an example how to map the
> old shell scripts to the new Isabelle build setup. I never use afp_build
> myself, but just plain "isabelle build". One day I also hope to be able to
> load all of AFP into a single PIDE session, to edit it without
On Wed, 10 Dec 2014, Gerwin Klein wrote:
“build -a” is still going to miss document preparation errors in the
AFP, though, so it’s still not really the right command to run for
testing it.
We've had that discussion occasionally. Nowadays I usually do full "build
-a -d '$AFP'" quite aggresiv
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 09/12/2014 21:50, Makarius wrote:
On Wed, 10 Dec 2014, Gerwin Klein wrote:
“build -a” is still going to miss document preparation errors in the AFP,
though, so it’s still not really the right command to run for testing it.
We've had that discussion occasionally. Nowadays I usually do fu