--- doc/help/course.manual.texxml 2010/08/24 12:56:12 1.34 +++ doc/help/course.manual.texxml 2013/06/05 17:37:57 1.37 @@ -133,7 +133,7 @@ - + @@ -449,7 +449,7 @@ - + @@ -483,7 +483,7 @@ - +