User Tools

Site Tools


start

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
start [2011/01/04 21:03] jonathanstart [2011/01/04 21:35] (current) jonathan
Line 4: Line 4:
 ===== Lecture Times ===== ===== Lecture Times =====
  
-  * Tuesdays/Thursday 11.30am-1pm BC-215. **As of Thursday Jan 6, all classes will be held in the SEL (cseb2056)**+  * Tuesdays/Thursday 11.30am-1pm BC-215. **As of and including Thursday Jan 6, all classes will be held in the SEL (cseb2056)**
  
   * We will be using the [[http://www.event-b.org/platform.html|Rodin]] toolset. For textbook and course slides see [[:textbook|here]].   * We will be using the [[http://www.event-b.org/platform.html|Rodin]] toolset. For textbook and course slides see [[:textbook|here]].
start.1294174981.txt.gz · Last modified: 2011/01/04 21:03 by jonathan

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki