[isabelle-dev] jedit Replace & Find
makarius at sketis.net
Fri Nov 16 14:47:39 CET 2012
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?
More information about the isabelle-dev