Skip to main content

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 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.