# HG changeset patch
# User griff
# Date 1248248923 -7200
# Node ID bfcb8edbd85175586cb7885467fa610f1af71a3b
# Parent  32b4d3704415a4258e0094e73bb194eb2c916378
typo

diff -r 32b4d3704415 -r bfcb8edbd851 ProgTutorial/FirstSteps.thy
--- a/ProgTutorial/FirstSteps.thy	Wed Jul 22 09:21:21 2009 +0200
+++ b/ProgTutorial/FirstSteps.thy	Wed Jul 22 09:48:43 2009 +0200
@@ -1943,7 +1943,7 @@
 ML{*val test_str = rep 8 "fooooooooooooooobaaaaaaaaaaaar "*}
 
 text {*
-  We deliberately chose a large string so that is spans over more than one line. 
+  We deliberately chose a large string so that it spans over more than one line. 
   If we print out the string using the usual ``quick-and-dirty'' method, then
   we obtain the ugly output:
 
diff -r 32b4d3704415 -r bfcb8edbd851 progtutorial.pdf
Binary file progtutorial.pdf has changed