Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Concurrent/time_limit.ML
changeset 61182 9d0834562a78
parent 52085 5534ec8b90a9
child 61556 0d4ee4168e41
equal deleted inserted replaced
61181:b6b5e41d261b 61182:9d0834562a78 
    34       then raise TimeOut
 
    34       then raise TimeOut
 
    35       else (Exn.release test; Exn.release result)
 
    35       else (Exn.release test; Exn.release result)
 
    36     end);
 
    36     end);
 
    37 
    37 
    38 end;
 
    38 end;
 
    39
isabelle