How to manually test a release

• Of course we have our automated unit tests and integration tests
• But there are also some things to check manually, still.
• We collect a list here. boxes are checked for the last release (0.17.0)

• Eclipse downloads latest stable release from update site https://update.rascal-mpl.org/unstable
• Open a Rascal REPL using the toolbar button
• Can create new Rascal project using the wizard
• Can create new Rascal module using the wizard
• Can edit Rascal file in Rascal project
• Save on Rascal file triggers type-checker
• Rascal outline works
• Rascal navigator works
• Rascal navigator displays working sets
• Rascal navigator displays interpreter's search path