On Mon, 13 Jan 2014, Lawrence Paulson wrote:
I get an error here:
~/isabelle/Repos/src/HOL: isabelle components -a
### Missing Isabelle component: "/Users/lp15/.isabelle/contrib/z3-3.2-1"
Getting "http://isabelle.in.tum.de/components/z3-3.2-1.tar.gz";
Can't locate LWP/Simple.pm in @INC (@INC co
* Activation of Z3 now works via "z3_non_commercial" system option
(without requiring restart), instead of former settings variable
"Z3_NON_COMMERCIAL". The option can be edited in Isabelle/jEdit menu
Plugin Options / Isabelle / General.
This refers to Isabelle/0c07990363a3. For completeness, t