--- doc/help/course.manual.texxml 2012/05/12 14:44:26 1.35 +++ doc/help/course.manual.texxml 2013/06/05 17:37:57 1.37 @@ -133,7 +133,7 @@ - + @@ -483,7 +483,7 @@ - +