update to release 3.5.1 to add info to README about using Java backen…

…d for tutorial

README.md

@@ -32,6 +32,17 @@ recently changed!
 Type `--help` with any of these to see the new options, or see CHANGELOG.md
 for more details.
 
+**WARNING**: The K tutorial no longer compiles with the default, Maude backend.
+If you see an error similar to the following, please append `--backend java`
+to the command you pass to `kompile`:
+
+```
+[Error] Critical: Found two modules with the same name: SUBSTITUTION
+	Source: File:
+/home/dwightguth/k/k-distribution/target/release/k/include/modules/substitution.k
+	Location: (158,1,298,9)
+```
+
 New features
 ------------
 

java-backend/pom.xml

@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.5</version>
+    <version>3.5.1</version>
   </parent>
   <artifactId>java-backend</artifactId>
   <packaging>jar</packaging>

k-distribution/pom.xml

@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.5</version>
+    <version>3.5.1</version>
   </parent>
   <artifactId>k-distribution</artifactId>
   <packaging>jar</packaging>

k-distribution/tutorial/README.md

@@ -141,7 +141,7 @@ point of view, a language syntax is nothing but a finite set of `KLabel`
 constants.  The `kast` tool can be used to parse a program and see its
 KAST form.  By running
 
-    $ kompile simple-untyped.k
+    $ kompile simple-untyped.k --backend java
     $ kast tests/diverse/factorial.simple
 
 from the [tutorial/2_languages/1_simple/1_untyped](/tutorial/2_languages/1_simple/1_untyped)
@@ -169,11 +169,18 @@ behaviors.  What the `krun` tool basically does is:
 
 To run our sample program `factorial`, all we need to do is:
 
-    $ kompile simple-untyped.k
+    $ kompile simple-untyped.k --backend java
     $ krun tests/diverse/factorial.simple --output none
     Input a natural number: 5
     Factorial of 5 is: 120
 
+The `--backend java` option tells the `kompile` tool to compile
+the definition using the K backend written in Java. This is
+the backend for which the tutorial is written, so all tutorial
+lessons should be compiled with this argument. If you do
+not specify this argument, you use the default Maude backend,
+which is more mature and supports more features at this time.
+
 The `--output none` option tells `krun` to not display the
 configuration.  Instead, it only displays output produced by the
 program.  Try running it without this option to see the resulting

kernel/pom.xml

@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.5</version>
+    <version>3.5.1</version>
   </parent>
   <artifactId>kernel</artifactId>
   <packaging>jar</packaging>

kore/pom.xml

@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.5</version>
+    <version>3.5.1</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <artifactId>kore</artifactId>

maude-backend/pom.xml

@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.5</version>
+    <version>3.5.1</version>
   </parent>
   <artifactId>maude-backend</artifactId>
   <packaging>jar</packaging>

pom.xml

@@ -5,7 +5,7 @@
   <groupId>org.kframework.k</groupId>
   <artifactId>parent</artifactId>
   <packaging>pom</packaging>
-  <version>3.5</version>
+  <version>3.5.1</version>
   <name>K Framework Tool Parent</name>
 
   <modules>
@@ -19,7 +19,7 @@
 
   <scm>
     <connection>scm:git:https://github.com/kframework/k.git</connection>
-    <tag>v3.5</tag>
+    <tag>v3.5.1</tag>
   </scm>
 
   <repositories>

sdf-parser/pom.xml

@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.5</version>
+    <version>3.5.1</version>
   </parent>
   <artifactId>sdf-parser</artifactId>
   <packaging>jar</packaging>