release v4.1.2 "Barcelona"

honoring Bernat’s home, where the new cloud is being developed
jmoenig · Feb 17, 2018 · a179cf3 · a179cf3
1 parent 272d986
commit a179cf3
Show file tree

Hide file tree

Showing 3 changed files with 30 additions and 26 deletions.
diff --git a/gui.js b/gui.js
@@ -75,7 +75,7 @@ isRetinaSupported, SliderMorph, Animation, BoxMorph, MediaRecorder*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2018-February-15';
+modules.gui = '2018-February-17';
 
 // Declarations
 
@@ -3463,7 +3463,7 @@ IDE_Morph.prototype.aboutSnap = function () {
         module, btn1, btn2, btn3, btn4, licenseBtn, translatorsBtn,
         world = this.world();
 
-    aboutTxt = 'Snap! 4.1.2 - dev -\nBuild Your Own Blocks\n\n'
+    aboutTxt = 'Snap! 4.1.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
@@ -3956,15 +3956,19 @@ Translation Updates:
 ------
 * Threads, Blocks, Objects: experimental JIT compiler
 
+180217
+------
+release
 
-=== v4.1.2 features ===
-
-v4.1.2 New Features:
-* experimental JIT compiler (in progress)
+=== v4.1.2 minor release ===
 
-Notable Changes:
+v4.1.2 Notable Changes:
 * new cloud backend
 
-Notable Fixes:
+New Features:
+* experimental JIT compiler (in progress)
 
 Translation Updates:
+* new Catalan-Valencia translation
+* Catalan
+* German
diff --git a/snap.html b/snap.html
@@ -2,25 +2,25 @@
 <html>
 	<head>
 		<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-		<title>Snap! Build Your Own Blocks 4.1.2 - dev -</title>
+		<title>Snap! Build Your Own Blocks 4.1.2</title>
 		<link rel="shortcut icon" href="favicon.ico">
-		<script type="text/javascript" src="morphic.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="widgets.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="blocks.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="threads.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="objects.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="gui.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="paint.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="lists.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="byob.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="tables.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="symbols.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="xml.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="store.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="locale.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="cloud.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="sha512.js?version=2018-02-08"></script>
-		<script type="text/javascript" src="FileSaver.min.js?version=2018-02-08"></script>
+		<script type="text/javascript" src="morphic.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="widgets.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="blocks.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="threads.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="objects.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="gui.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="paint.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="lists.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="byob.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="tables.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="symbols.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="xml.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="store.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="locale.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="cloud.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="sha512.js?version=2018-02-17"></script>
+		<script type="text/javascript" src="FileSaver.min.js?version=2018-02-17"></script>
 		<script type="text/javascript">
 			var world;
 			window.onload = function () {