Renaming
rascal-0.34.0
rascal-tutor-0.18.4
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
toD/D.md
using the version control system, or keepD/index.md
- Open
D/D.md
in a text editor and change the titletitle: Old Display Name
totitle: 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.