Updating to Poly/ML 5.9.2

Author: didriklundberg

.github/workflows/build.yaml

@@ -15,7 +15,7 @@ jobs:
 
     strategy:
       matrix:
-        polyml: ['5.7.1', '5.9.1']
+        polyml: ['5.7.1', '5.9.2']
         hol4: ['trindemossen-1']
 
     env:

INSTALL.md

@@ -34,11 +34,11 @@ First, navigate to the directory where you want to put the source code of Poly/M
 
 		sudo apt-get install build-essential git
 
-2. Install Poly/ML 5.9.1
+2. Install Poly/ML 5.9.2
 
 		git clone https://github.com/polyml/polyml.git
 		cd polyml
-		git checkout v5.9.1
+		git checkout v5.9.2
 		./configure --prefix=/usr
 		make
 		sudo make install
@@ -124,4 +124,4 @@ The same tools used to edit HOL4 theories and run the HOL4 REPL can also be used
 
 The `scripts` directory contains installation scripts. These may be run when installing HOL4P4 e.g. on a fresh virtual machine by
 
-	scripts/install.sh
+	scripts/install.sh

scripts/install_polyml.sh

@@ -1,7 +1,7 @@
 #!/bin/bash
 
 if [[ -z "${POLYML_VERSION}" ]]; then
-  POLYML_VERSION="5.9.1"
+  POLYML_VERSION="5.9.2"
 fi
 
 # If Poly/ML version is 5.7.1, use the one pre-packaged by Ubuntu instead