Re: [isabelle] Highlight sorry in jEdit
On Fri, 9 Nov 2012, Johannes Hölzl wrote:
Am Freitag, den 09.11.2012, 09:09 +0100 schrieb Joachim Breitner:
I often use sorry when doing my proofs top-down; and then I later need
to find them again. I found out about Ctrl-, to search, but it would be
more convenient if sorry were prominently highlighted, e.g. in red. This
would give me continuous feedback about how far I am with my proof.
Can I easily configure that myself? Also, please consider making that
the default, I’d say others profit from that as well.
In the development version of Isabelle is sorry already highlighted with
a light red background. It is not (yet?) reflected at the scrollbar like
it is done with errors and warnings.
I am still working on what will become the next official release of
There is not "the" development version, and its change history is not
necessarily monotonic in the semantic sense, so "yet" above also does not
apply. One needs to understand that being hooked on Isabelle repository
versions means that you follow the waves of changes of the day or the
You are welcome to do so and report anything you observe on the
isabelle-dev mailing list -- with proper changeset ids (abbreviated SHA1
keys) since this is the only thing that does not change over time, and
tells unambigously what is your "current" version.
This archive was generated by a fusion of
Pipermail (Mailman edition) and