[isabelle-dev] NEWS: isabelle build -k and -x

Makarius makarius at sketis.net
Thu Apr 2 00:28:37 CEST 2015

* The Isabelle tool "build" provides new options -k and -x.

This refers to Isabelle/9ce697050455 and Isabelle/2a616319c171, 
respectively, which also contain more information.

Both options can save some hours elapsed time for testing potential 
changes.  Option -k helps to see the impact of new outer syntax keywords, 
by static inspection of sources. Option -x allows to suppress the AFP 
giants AODV and JinjaThreads in manual test builds, for example:

   isabelle build -j4 -d '$AFP' -a -x AODV -x JinjaThread

Despite massive "quantitative easing" of the ECB, people don't seem to 
invest money for anything useful, like more cores ...

My own home machine has 12 real cores (24 hardware threads), and was quite 
cheap, too.


More information about the isabelle-dev mailing list