Edits

Author: davidcok

tutorial/ModelFields.md

@@ -17,7 +17,7 @@ Model fields:
 in an interface (or class) using the modifier `instance`. As the (Java) default is `static` for field declarations, the `instance` keyword is required in this case.
 
 Datagroups:
-* A model field is also a _datagroup_; or a standalone datagroup (not associated with an abstract value) can be declared using the type `JMLDataGroup`.
+* A model field is also a _datagroup_; or a standalone datagroup (not associated with an abstract value) can be declared using the type `\datagroup`.
 * A datagroup is an abstraction of a frame condition. 
    * In the abstract class the datagroup can be used in a frame condition
    * In the concrete class specific fields can be declared to be _in_ that datagroup

tutorial/Polygon.java

@@ -58,7 +58,7 @@ public void test3(Square square) {
 
   public void test4(Polygon polygon) {
     if (polygon instanceof Square square) {
-      //# assert square.sides() == 4; // OK as well
+      //@ assert square.sides() == 4; // OK as well
     }
   }
 }

tutorial/Polygon3.java

@@ -81,7 +81,7 @@ public void test3(Square square) {
 
   public void test4(Polygon3 polygon) {
     if (polygon instanceof Square square) {
-      //# assert square.sides() == 4; // OK as well
+      //@ assert square.sides() == 4; // OK as well
     }
   }
 }

tutorial/PolygonMF.java

@@ -66,7 +66,7 @@ public void test3(Square square) {
 
   public void test4(PolygonMF polygon) {
     if (polygon instanceof Square square) {
-      //# assert square.sides() == 4; // OK as well
+      //@ assert square.sides() == 4; // OK as well
     }
   }
 }