[isabelle-dev] NEWS: Search field for output panels

Makarius 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 mailing list