Differences

This shows you the differences between two versions of the page.

--- start [2012/01/03 00:40] – jonathan
+++ start [2012/01/03 22:53] (current) – jonathan
@@ Line 4: / Line 4: @@
 ===== Lecture Times =====
-  * Tuesdays/Thursday 11.30am-1pm, CCB115
+  * Tuesdays/Thursday 11.30am-1pm, CCB115. **Note**: All classes from now on will be in the Software Engineering Laboratory, CSEB2056.
   * We will be using the [[http://www.event-b.org/platform.html|Rodin]] toolset (also available with Atelier provers/AnimB on the SVN for Windows). For textbook and course slides see [[:textbook|here]].