Re: [isabelle] Isabelle2014-RC0 segfault / sledgehammer raises exception DUP
> Another possibility for further testing is to downgrade to an older Poly/ML version from http://isabelle.in.tum.de/components 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