Compilation and concrete-syntax conversion

You compile a program by clicking on 'Compile' () in the toolbar (or by pressing F7).
If you are compiling a *.while file, its matching *.wcl file will be created and will be added to the project tree; if the *.wcl file already exists it will be overwritten.
In order to convert a *.wcl file to a *.while file, select the desired *.wcl and select: Tools>>Convert to .while file; a dialog will appear:

After pressing 'OK', the new file will be created and added to the project tree.