Renaming a concept

rascal-0.42.0

Synopsis

How to rename a concept.

Description

To rename a concept C to D:

• Rename C to D using the commands of the version control system.
• Rename D/C.md to D/D.md using the version control system, or keep D/index.md
• Open D/D.md in a text editor and change the title title: Old Display Name to title: New Display Name.
• Recompile the course.

Benefits

• If there are dangling links to the course, the compiler will produce an exact error for each reference.