Re: [isabelle] Isabelle2014-RC0 segfault / sledgehammer raises exception DUP

> Another possibility for further testing is to downgrade to an older Poly/ML version from e.g. by claiming it in $ISABELLE_HOME_USER/etc/settings like this:
>  init_component "$HOME/.isabelle/contrib/polyml-5.5.1-1"
> Then use "isabelle components -a" on the command-line to resolve missing components, and restart the Isabelle application.
I get the same behavior with polyml-5.5.1-1 and polyml-5.4.1 (have not checked the other ones).


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.