[isabelle-dev] jedit Replace & Find

Tobias Nipkow nipkow at in.tum.de
Sun Nov 18 09:19:44 CET 2012

Am 16/11/2012 14:47, schrieb Makarius:
> On Tue, 2 Oct 2012, Tobias Nipkow wrote:
>> This is what you should not do: search and replace a string selectively that
>> occurs many times in a theory. I did this twice (the second time to see if it
>> was repeatable), using Replace & Find, and after about 50 replacements, jedit
>> went all funny and screwed up the window manager on my mac. Once I managed to
>> log out (and back in), the window manager was fine again.
> Did you ever see this incident with Mac OS X again?

Yes, I just retried and the beahviour is unchanged (it may have take a bit
longer to provoke it). Open Wellfounded.thy and replace wf by something, that
does it.


>     Makarius

More information about the isabelle-dev mailing list