--- doc/help/course.manual.texxml 2017/01/30 18:25:23 1.49 +++ doc/help/course.manual.texxml 2017/01/30 18:39:19 1.50 @@ -152,11 +152,11 @@ - > + - + - + @@ -207,7 +207,7 @@ - + @@ -229,9 +229,9 @@ - - - + + + @@ -551,8 +551,6 @@ - -