* 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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
