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?
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
