Differences

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

--- start [2018/08/29 00:06] – jonathan
+++ start [2018/08/29 00:07] (current) – jonathan
@@ Line 11: / Line 11: @@
 [[https://moodle.yorku.ca/moodle/course/view.php?id=139851|Moodle EECS431-F18]].
-See the [[resources:|Resources]]Tab for information on the required Textbook, the TLA+ and PVS tools, private Github accounts and Predicate Logic and Set Theory.
+See the [[resources:|Resources]] Tab for information on the required Textbook, the TLA+ and PVS tools, private Educational Github repositories and Predicate Logic and Set Theory.
 ===== Lecture Times =====