[isabelle-dev] NEWS: Search field for output panels
makarius at sketis.net
Wed May 7 15:32:46 CEST 2014
* Search field for all output panels ("Output", "Query", "Info" etc.)
to highlight text via regular expression.
This refers to Isabelle/2f73ef9eb272, the implementation is mostly just
38c6b70e5e53, which is notable for its simplicity.
The search factility was in the pipeline several years, mainly because of
the misconception to imitate the accidental implementation of Proof
General, where that is a genuine search on a text buffer.
In Emacs "everything is a buffer", but not in jEdit. We can move forward
faster by leaving Proof General and Emacs mentally behind.
Further, Ideas for Isabelle/jEdit improvements are better taken from
IntelliJ IDEA (like the regex Highlighter), or even more experimental
projects like http://www.lighttable.com/
More information about the isabelle-dev