Synopsis Remove a concept from a course.
Description There is no built-in mechanism for renaming a concept. The manual steps to be taken to remove a concept C are therefore:
  • Goto to the relevant subdirectory of org/rascalmpl/courses and locate the concept directory C to be removed.
  • Remove C using the commands of the version control system.
  • Recompile the course.
Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit