Re: [isabelle] xsymbols problem on linux gentoo

On Wed, 4 Jan 2012, Thomas Genet wrote:

I heavily use nitpick/quickcheck and sledgehammer commands for my practical courses and (in my observation) jEdit get stuck more frequently than emacs with those commands.

OK, that's one of the documented features in Isabelle2011-1, and will hopefully disappear in the next release.


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