[stable] Release III-8.1787

titzer · Jan 20, 2025 · beb0775 · beb0775
1 parent 2e868d5
commit beb0775
Show file tree

Hide file tree

Showing 8 changed files with 3 additions and 3 deletions.
diff --git a/aeneas/src/main/Aeneas.v3 b/aeneas/src/main/Aeneas.v3
@@ -147,7 +147,7 @@ component Aeneas {
 	def printVersion(long: bool, next: string) {
 		Terminal.put("Aeneas ");
 		Terminal.put(Version.version);
-		if (!Debug.UNSTABLE) Terminal.put(" (stable)");
+		if (!Debug.UNSTABLE) Terminal.put(" stable");
 		var data = Version.buildData;
 		if (long && data != null) {
 			Terminal.put("\nBuild Data: ");

diff --git a/aeneas/src/main/Debug.v3 b/aeneas/src/main/Debug.v3
@@ -3,5 +3,5 @@
 
 component Debug {
 	def PARANOID = false;
-	def UNSTABLE = true;
+	def UNSTABLE = false;
 }
diff --git a/aeneas/src/main/Version.v3 b/aeneas/src/main/Version.v3
@@ -3,6 +3,6 @@
 
 // Updated by VCS scripts. DO NOT EDIT.
 component Version {
-	def version: string = "III-7.1786";
+	def version: string = "III-8.1787";
 	var buildData: string;
 }
diff --git a/bin/stable/jar/Aeneas.jar b/bin/stable/jar/Aeneas.jar
diff --git a/bin/stable/x86-64-darwin/Aeneas b/bin/stable/x86-64-darwin/Aeneas
diff --git a/bin/stable/x86-64-linux/Aeneas b/bin/stable/x86-64-linux/Aeneas
diff --git a/bin/stable/x86-darwin/Aeneas b/bin/stable/x86-darwin/Aeneas
diff --git a/bin/stable/x86-linux/Aeneas b/bin/stable/x86-linux/Aeneas