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 comments;
authorwenzelm
Thu, 25 Sep 2008 14:37:32 +0200
changeset 28358 5d79c5d68459
parent 28357 80d4d40eecf9
child 28359 bd4750bcb4e6
tuned comments;
src/Pure/Concurrent/par_list.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Concurrent/par_list.ML	Thu Sep 25 14:35:03 2008 +0200
+++ b/src/Pure/Concurrent/par_list.ML	Thu Sep 25 14:37:32 2008 +0200
@@ -11,7 +11,7 @@
     time.  The overhead of scheduling is significantly higher than
     just traversing the list of operands sequentially.
 
-  * The order of operator application is non-determined.  Watch out
+  * The order of operator application is non-deterministic.  Watch out
     for operators that have side-effects or raise exceptions!
 *)
isabelle