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 whitespace
authorhaftmann
Wed, 13 Feb 2008 09:35:32 +0100
changeset 26063 b2862698dc79
parent 26062 16f334d7156a
child 26064 65585de05a66
tuned whitespace
src/Pure/General/susp.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/susp.ML	Wed Feb 13 09:35:31 2008 +0100
+++ b/src/Pure/General/susp.ML	Wed Feb 13 09:35:32 2008 +0100
@@ -2,7 +2,7 @@
     ID:         $Id$
     Author:     Sebastian Skalberg and Florian Haftmann, TU Muenchen
 
-Delayed evaluation. Supposed to be value-oriented.
+Delayed evaluation.  Supposed to be value-oriented.
 *)
 
 signature SUSP =
isabelle