Differences

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

--- lab8 [2018/02/25 15:00] – franck
+++ lab8 [2019/02/19 17:45] (current) – franck
@@ Line 62: / Line 62: @@
 no errors detected
 ...
-</code>Submit your peer class <b>and</b> your configuration file (name it Main-model-class.jpf).
+</code>Submit your peer class **and** your configuration file (name it Main-model-class.jpf).
 To compile your classes, you may want to use
@@ Line 74: / Line 74: @@
 submit 4315 lab6 (name of file)
 </code>
-before Tuesday March 6.
+before Tuesday March 5.