[isabelle-dev] jedit Replace & Find

Tobias Nipkow nipkow at in.tum.de
Tue Oct 2 12:13:50 CEST 2012


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


More information about the isabelle-dev mailing list