[isabelle-dev] NEWS: structure Timeout

Makarius makarius at sketis.net
Sat Mar 5 23:13:28 CET 2016


*** ML ***

* Structure TimeLimit (originally from the SML/NJ library) has been
replaced by structure Timeout, with slightly different signature.
INCOMPATIBILITY.


This refers to Isabelle/a564458f94db.

Note that the exception Timeout.TIMEOUT is now more informative: it 
contains the actual time span.


 	Makarius


More information about the isabelle-dev mailing list