[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).



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