Hi. You may have questions re. the CbC homework #3. If so, and in order not to take time from tomorrow's lecture, I propose the following: I can connect to the Zoom room ahead of time (say, 15:30 tomorrow) and stay a bit longer (until, let us say, 19:30). This way we do not have to use email, which may be somewhat slow, or set up an appointment. If any of you plan to to use any of these slots, please let me know so that I connect before the lecture / know I should stay after it.
On a different topic, I have been using Rodin-3.6-RC1 (the release candidate for version 3.6) for a couple of weeks now and it is working well. Some of the edition bugs in the 3.5 version have disappeared and I think it is stable enough to be used regularly. If you want to give it a try, you can download it from
https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/
When you start a new Rodin version for the first time, it asks for the location of the workspace to use. If it was created by a previous version, it is updated. I am not sure it can be used by a previous Rodin version after this update. So I recommend making a backup of the Rodin workspace before starting 3.6 in case things go wrong and you need to backtrack.
Cheers,