Update the version number for the v4.7.0 release.

api/config_sample.txt

@@ -91,8 +91,8 @@ $CFG->inputmustverify = 1;
 $CFG->inputshowvalidation = 1;
 
 // These should match the version of goemaxima in docker-compose.
-$CFG->stackmaximaversion = "2025072400";
-$CFG->version = "2025072400";
+$CFG->stackmaximaversion = "2024072400";
+$CFG->version = "2024072400";
 
 // Do not change this setting.
 $CFG->mathsdisplay = 'api';

api/docker/docker-compose.dev.yml

 version: "4.0"
 services:
   maxima:
-    image: mathinstitut/goemaxima:2025072400-latest
+    image: mathinstitut/goemaxima:2024072400-latest
     tmpfs:
       - "/tmp"
     restart: unless-stopped

api/docker/docker-compose.yml

 version: "4.0"
 services:
   maxima:
-    image: mathinstitut/goemaxima:2025072400-latest
+    image: mathinstitut/goemaxima:2024072400-latest
     tmpfs:
       - "/tmp"
     restart: unless-stopped

doc/en/Developer/Releasing.md

@@ -42,16 +42,16 @@ Unless you want to discuss something confidential with the developers, please do
 * Spin up the STACK API in Docker and check it still works with a selection of questions, including download and JSXGraph.
 * Chances are it won't work because even the latest version of goemaxima is out of date.
 * You will need to create a local up-to-date image of goemaxima:
-  * Clone the goemaxima repo and create a folder stack/STACKVERSION e.g. `stack/2025072400` matching the latest STACK version.
+  * Clone the goemaxima repo and create a folder stack/STACKVERSION e.g. `stack/2024072400` matching the latest STACK version.
   * Copy the stack/maxima folder from STACK into this new folder.
   * Create `maximalocal.mac.template` as described in `Adding_new_version.md` in goemaxima docs (or just copy from previous goemaxima version).
   * In `buildimage.sh` set `maximaver` and `sbclver` e.g. `maximaver="5.45.1" sbclver="2.2.6"`. (`maximaver` should match `maximalocal.mac.template`)
   * `./buildweb.sh` (You may need to install `go` first: `sudo snap install go --classic`).
-  * `.buildimage.s 2025072400` (If Docker struggles to fetch metadata `sudo vi ~/.docker/config.json` and change `credsStore` to `credStore`).
-  * You should have now created a `goemaxima:2025072400-dev` image locally.
+  * `.buildimage.s 2024072400` (If Docker struggles to fetch metadata `sudo vi ~/.docker/config.json` and change `credsStore` to `credStore`).
+  * You should have now created a `goemaxima:2024072400-dev` image locally.
 * Temporarily update STACK API locally:
-  * Update maxima image in STACK API to `goemaxima:2025072400-dev` in `docker-compose.dev.yml`.
-  * Update `stackmaximaversion` and `version` in `config.php` for the API to e.g. 2025072400.
+  * Update maxima image in STACK API to `goemaxima:2024072400-dev` in `docker-compose.dev.yml`.
+  * Update `stackmaximaversion` and `version` in `config.php` for the API to e.g. 2024072400.
 * `docker compose -f docker-compose.dev.yml up`
 
 ### Version numbers

doc/en/Installation/STACK_versions.md

@@ -9,7 +9,7 @@ when releasing.
 
 Release | Version number | Supported Maxima versions
 --------|----------------|--------------------------
-4.7.0 | 2025072400 | 5.40.0, 5.41.0, 5.42.0, 5.42.1, 5.42.2, 5.43.0, 5.43.1, 5.43.2, 5.44.0, 5.46.0, 5.47.0
+4.7.0 | 2024072400 | 5.40.0, 5.41.0, 5.42.0, 5.42.1, 5.42.2, 5.43.0, 5.43.1, 5.43.2, 5.44.0, 5.46.0, 5.47.0
 4.6.0 | 2024060300 | 5.40.0, 5.41.0, 5.42.0, 5.42.1, 5.42.2, 5.43.0, 5.43.1, 5.43.2, 5.44.0, 5.46.0, 5.47.0
 4.5.0 | 2023121100 | 5.40.0, 5.41.0, 5.42.0, 5.42.1, 5.42.2, 5.43.0, 5.43.1, 5.43.2, 5.44.0, 5.46.0, 5.47.0
 4.4.5 | 2023072101 | 5.40.0, 5.41.0, 5.42.0, 5.42.1, 5.42.2, 5.43.0, 5.43.1, 5.43.2, 5.44.0, 5.46.0, 5.47.0

stack/maxima/stackmaxima.mac

@@ -3331,4 +3331,4 @@ is_lang(code):=ev(is(%_STACK_LANG=code),simp=true)$
 
 /* Stack expects some output with the version number the output happens at */
 /* maximalocal.mac after additional library loading */
-stackmaximaversion:2025072400$
+stackmaximaversion:2024072400$

version.php

@@ -24,7 +24,7 @@
 
 defined('MOODLE_INTERNAL') || die();
 
-$plugin->version   = 2025072400;
+$plugin->version   = 2024072400;
 $plugin->requires  = 2022041900;
 $plugin->cron      = 0;
 $plugin->component = 'qtype_stack';