From 7fc1653c4306ea2a9f0fa9298c2f7f131dd8e081 Mon Sep 17 00:00:00 2001
From: "lennart.kramer" <lennart.kramer@stud.uni-goettingen.de>
Date: Wed, 18 Jan 2023 08:51:09 +0100
Subject: [PATCH] add a note about how to find the maxima version

---
 README.md | 3 +++
 versions  | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index b66f01c..bca9b3d 100644
--- a/README.md
+++ b/README.md
@@ -40,6 +40,9 @@ The container should then be available on port 8080 (from outside the host too,
 The port of the server inside the container is `8080` and the path that has to be input into stack is `http://[address:port]/goemaxima`.
 Some older versions of the image accept only `http://[address:port]/maxima` and this url should work in newer versions as well.
 
+Stack expects a maxima version to be set in the settings.
+You can find out which maxima version to use for a particular `STACKMAXIMA_VERSION` by taking a look at the second column of the `versions` file at the root of this repository.
+
 If you do not wish to use the docker-compose configuration, you can also run the image with
 ```
 $ docker run --restart=always --tmpfs /tmp -p $address:$port:8080 $imagename
diff --git a/versions b/versions
index f7c2048..8976ae7 100644
--- a/versions
+++ b/versions
@@ -1,4 +1,4 @@
-# stack,maxima,sbcl
+# stack,	maxima,	sbcl
 2017121800	5.41.0	2.1.4
 2018030500	5.41.0	2.1.4
 2018080600	5.41.0	2.1.4
-- 
GitLab