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.


	Makarius





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