prepare release

jmoenig · Jun 21, 2018 · 6fee969 · 6fee969
1 parent 6e6b867
commit 6fee969
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 24 deletions.
diff --git a/gui.js b/gui.js
@@ -75,7 +75,7 @@ isRetinaSupported, SliderMorph, Animation, BoxMorph, MediaRecorder*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2018-June-20';
+modules.gui = '2018-June-21';
 
 // Declarations
 
@@ -3504,7 +3504,7 @@ IDE_Morph.prototype.aboutSnap = function () {
         module, btn1, btn2, btn3, btn4, licenseBtn, translatorsBtn,
         world = this.world();
 
-    aboutTxt = 'Snap! 4.2 - rc -\nBuild Your Own Blocks\n\n'
+    aboutTxt = 'Snap! 4.2\nBuild Your Own Blocks\n\n'
         + 'Copyright \u24B8 2018 Jens M\u00F6nig and '
         + 'Brian Harvey\n'
         + 'jens@moenig.org, bh@cs.berkeley.edu\n\n'

diff --git a/history.txt b/history.txt
@@ -4046,8 +4046,6 @@ Translation Updates:
 
 === v4.1.2.7 maintenance release ===
 
-in development:
-
 180319
 ------
 * new Vector Paint Editor, thanks, Carles Paredes and Bernat Romagosa!
@@ -4182,7 +4180,7 @@ in development:
 * Threads, Objects: made "When I am stopped" scripts atomic, so you can use loops
 
 
-=== v4.2 major release (draft) ===
+=== v4.2 major release ===
 
 v4.2 New Features:
 * "recover project" feature, (cloud backups), thanks, Bernat Romagosa!

diff --git a/snap.html b/snap.html
@@ -2,26 +2,26 @@
 <html>
 	<head>
 		<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-		<title>Snap! Build Your Own Blocks 4.2 - rc -</title>
+		<title>Snap! Build Your Own Blocks 4.2</title>
 		<link rel="shortcut icon" href="favicon.ico">
-		<script type="text/javascript" src="morphic.js?version=2018-06-14"></script>
-		<script type="text/javascript" src="widgets.js?version=2018-06-14"></script>
-		<script type="text/javascript" src="blocks.js?version=2018-06-149"></script>
-		<script type="text/javascript" src="threads.js?version=2018-06-14"></script>
-		<script type="text/javascript" src="objects.js?version=2018-06-14"></script>
-		<script type="text/javascript" src="gui.js?version=2018-06-20"></script>
-		<script type="text/javascript" src="paint.js?version=2018-06-14"></script>
-		<script type="text/javascript" src="lists.js?version=2018-06-14"></script>
-		<script type="text/javascript" src="byob.js?version=2018-06-14"></script>
-		<script type="text/javascript" src="tables.js?version=2018-06-14"></script>
-		<script type="text/javascript" src="symbols.js?version=2018-06-14"></script>
-		<script type="text/javascript" src="sketch.js?version=2018-06-20"></script>
-		<script type="text/javascript" src="xml.js?version=2018-06-14"></script>
-		<script type="text/javascript" src="store.js?version=2018-06-14"></script>
-		<script type="text/javascript" src="locale.js?version=2018-06-14"></script>
-		<script type="text/javascript" src="cloud.js?version=2018-06-14"></script>
-		<script type="text/javascript" src="sha512.js?version=2018-06-14"></script>
-		<script type="text/javascript" src="FileSaver.min.js?version=2018-06-14"></script>
+		<script type="text/javascript" src="morphic.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="widgets.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="blocks.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="threads.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="objects.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="gui.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="paint.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="lists.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="byob.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="tables.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="symbols.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="sketch.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="xml.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="store.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="locale.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="cloud.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="sha512.js?version=2018-06-21"></script>
+		<script type="text/javascript" src="FileSaver.min.js?version=2018-06-21"></script>
 		<script type="text/javascript">
 			var world;
 			window.onload = function () {