Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned msg;
authorwenzelm
Sun, 29 Jul 2007 17:28:56 +0200
changeset 24059 89a5382406a1
parent 24058 81aafd465662
child 24060 b643ee118928
tuned msg;
src/Pure/ML-Systems/multithreading_dummy.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/multithreading_dummy.ML	Sun Jul 29 17:28:55 2007 +0200
+++ b/src/Pure/ML-Systems/multithreading_dummy.ML	Sun Jul 29 17:28:56 2007 +0200
@@ -37,7 +37,7 @@
 fun NAMED_CRITICAL _ e = e ();
 fun CRITICAL e = e ();
 
-fun schedule _ _ _ = raise Fail "Multithreading support unavailable";
+fun schedule _ _ _ = raise Fail "No multithreading support";
 
 end;
isabelle