[isabelle-dev] partial_function

[Makarius]

On Tue, 6 Aug 2013, Christian Sternagel wrote:

> What I did *not* notice however, was the following message at the end of 
> a very long trace (in jEdit):
>
>  Tracing paused.  Stop, or continue with next 100, 1000, 10000 messages?
>
> So, actually jEdit was just waiting for my input and not computing for hours 
> (as I thought; I should have observed that from the missing scream of my 
> laptops fan).

That interactive feedback is still a bit crude (unchanged since 
Isabelle2013).

The first thing would be to make a different color scheme for waiting 
tasks, in contrast to the deep purple of running ones.

The second thing would be to provide some central overview of such 
important status information.

None of that is imminent -- I am presently busy with other things that 
have been in the pipeline for several years longer.


 	Makarius