Differences

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

--- whats_new [2009/03/09 02:59] – 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 [[http://www.event-b.org/|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]]