rascal icon indicating copy to clipboard operation
rascal copied to clipboard

Published 20 hours ago • verified publisher icon usethesource

Hello doc uses rascal-commands instead of rascal-shell

Open jurgenvinju opened this issue 2 years ago • 0 comments

Describe the bug

https://www.rascal-mpl.org/docs/Recipes/Toys/Hello/#:~:text=Rascal%20program%22)%3B%0A%7D-,When%20you%20type%20in,-a%20command%20and

fix this back to rascal-shell to make the text align with the example, which speaks about the continuation prompt.

jurgenvinju avatar Feb 14 '23 16:02 jurgenvinju