[isabelle-dev] NEWS: proof method "sleep"
makarius at sketis.net
Wed Jun 24 21:51:49 CEST 2015
* 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).
More information about the isabelle-dev