[isabelle] Isabelle/jEdit search question



Hi all,

does anyone know whether/how it is possible to search through the output buffer in Isabelle/jEdit (e.g., after print_codesetup, scrolling through all of the output is quite tedious, and all I want to know is where a certain constant is used that misses a code equation).

cheers

chris





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.