* 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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
