[isabelle-dev] NEWS: proof method "sleep"

[Makarius]

* Method "sleep" succeeds after a real-time delay (in seconds). This is
occasionally useful for demonstration and testing purposes.


This refers to Isabelle/c0e1c121c7c0.

Maybe a bit silly, but in experimentation with Eisbach and parallel 
evaluation, it turned out surprisingly difficult to get this right on the 
spot.  So the result is made publicly available here. The key point is the 
use of the new Method.RUNTIME combinator (see Isabelle/86fc6652c4df).


 	Makarius