Updated:

To submit a Rodin assignment follow these steps:

1. Select Rodin File menu
2. Select export
3. Open General and select Archive File
   Select Next
4. Choose the project to be exported and the archive file
5. Select Save in zip format
   Select Finish

Run give cs2111 assignment zipfile

For example: give cs2111 ass1 mycoffeeclub.zip

Webbased submission:

https://cgi.cse.unsw.edu.au/~give/Student/give.php?session=12s1

Webbased results:

https://cgi.cse.unsw.edu.au/~give/Student/sturec.php?session=12s1