<#INCLUDE filename="include_instructorcoursemenu.html" restriction="Usertype:CourseInstructor">
<#INCLUDE filename="include_instructorcoursemenu.html" restriction="Usertype:CourseFullProxy">
<#INCLUDE filename="include_courseproxycoursemenu.html" restriction="Usertype:CourseProxy">
<#INCLUDE filename="include_defaultcourseinfo.html">