--- doc/help/course.manual.texxml 2016/08/20 23:43:15 1.26.2.6 +++ doc/help/course.manual.texxml 2017/04/03 13:54:15 1.26.2.7 @@ -418,16 +418,14 @@ - - - - + + + + + - - - @@ -438,7 +436,7 @@ - +