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.
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44 E-mail: genet at irisa.fr
This archive was generated by a fusion of
Pipermail (Mailman edition) and