Differences

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

--- whats_new [2009/03/09 02:58] – jonathan
+++ whats_new [2009/05/07 17:23] (current) – jonathan
@@ Line 1: / Line 1: @@
 ====== What's New? ======
+===== April 30, 2009 =====
+Assignment4 is now released.
+===== April 3, 2009 =====
+The [[protected:project|Project]] details are now released.
+===== March 25 =====
+[[protected:assignments:a3|Assignment 3]] is now released.
+===== March 18, 2009 =====
+[[protected:assignments:a2|Assignment2]] is now released.
+===== Monday March 9, 2009 =====
+[[assignments:a1|Assignment 1]] has been released.
 ===== Sunday March 8, 2009 =====
-We have been assured that Rodin and JSpin tools are now installed on the SEL Windows PCs. Please login before class and check that these tools are working. We will spend quite a few lectures working on the C slides (''09W-6411-C-BridgeController.pdf'' available from the SVN link in the sidebar) and comparing it with a Spin model (using JSpin).
+  *We have been assured that [[http://www.event-b.org/|Rodin]] and [[http://stwww.weizmann.ac.il/g-cs/benari/jspin/|JSpin]] tools are now installed on the SEL Windows PCs. Please login before class and check that these tools are working. We will spend quite a few lectures working on the C slides (''09W-6411-C-BridgeController.pdf'' available from the SVN link in the sidebar) and comparing it with a Spin model (using JSpin).
+  *You may wish to install Rodin and JSpin on your own PC.
+  * [[https://wiki.cse.yorku.ca/lab/sel/tutorial:start|Spin tutorial]]