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.
Replace All works fine (but isn't what I need). Tobias _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
