*** 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