Re: [isabelle] xsymbols problem on linux gentoo






Le 04/01/12 17:28, Makarius a écrit :
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.

Great!

Thanks...

Thomas
--
Thomas Genet
ISTIC/IRISA
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44   E-mail: genet at irisa.fr
http://www.irisa.fr/celtique/genet





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