diff --git a/manual/Main/AllOnOnePage.html b/manual/Main/AllOnOnePage.html
index a2ced8121..bdd5b14b0 100644
--- a/manual/Main/AllOnOnePage.html
+++ b/manual/Main/AllOnOnePage.html
@@ -312,7 +312,7 @@
-
PRISM Manual version 4.8
+
PRISM Manual version 4.8.1
Contents
@@ -5434,7 +5434,7 @@
Explicit Model Files
Page last modified on July 05, 2023, at 12:01 PM
+ Page last modified on January 12, 2024, at 11:13 PM
diff --git a/manual/Main/AllOnOnePage@action=edit.html b/manual/Main/AllOnOnePage@action=edit.html
index 634656766..d2bd6cdbf 100644
--- a/manual/Main/AllOnOnePage@action=edit.html
+++ b/manual/Main/AllOnOnePage@action=edit.html
@@ -226,7 +226,7 @@
- Page last modified on July 05, 2023, at 12:01 PM
+ Page last modified on January 12, 2024, at 11:13 PM
diff --git a/manual/Main/AllOnOnePage@action=login.html b/manual/Main/AllOnOnePage@action=login.html
index 8d3dfbeb1..d35261ac9 100644
--- a/manual/Main/AllOnOnePage@action=login.html
+++ b/manual/Main/AllOnOnePage@action=login.html
@@ -224,7 +224,7 @@
- Page last modified on July 05, 2023, at 12:01 PM
+ Page last modified on January 12, 2024, at 11:13 PM
diff --git a/manual/Main/AllOnOnePage@action=print.html b/manual/Main/AllOnOnePage@action=print.html
index 198c410ef..2a4921b75 100644
--- a/manual/Main/AllOnOnePage@action=print.html
+++ b/manual/Main/AllOnOnePage@action=print.html
@@ -184,7 +184,7 @@
-
PRISM Manual version 4.8
+
PRISM Manual version 4.8.1
Contents
diff --git a/manual/Main/Main.html b/manual/Main/Main.html
index 8552ac756..e45e088ee 100644
--- a/manual/Main/Main.html
+++ b/manual/Main/Main.html
@@ -212,7 +212,7 @@
This document is the main source of information regarding the installation and operation of the PRISM tool. For access to other resources, such as
related publications and details of
case studies, or to
download the tool itself, see the main
PRISM website.
Which version of PRISM does this manual describe?
-
This manual describes version 4.8.
+
This manual describes version 4.8.1.
In general, the online copy of the manual corresponds to the most recent
publically available
version of PRISM (including beta versions).
@@ -242,7 +242,7 @@
Page last modified on July 05, 2023, at 12:01 PM
+ Page last modified on January 12, 2024, at 11:13 PM
diff --git a/manual/Main/Welcome.html b/manual/Main/Welcome.html
index 8552ac756..e45e088ee 100644
--- a/manual/Main/Welcome.html
+++ b/manual/Main/Welcome.html
@@ -212,7 +212,7 @@
This document is the main source of information regarding the installation and operation of the PRISM tool. For access to other resources, such as related publications and details of case studies, or to download the tool itself, see the main PRISM website.
Which version of PRISM does this manual describe?
-This manual describes version 4.8.
+
This manual describes version 4.8.1.
In general, the online copy of the manual corresponds to the most recent
publically available
version of PRISM (including beta versions).
@@ -242,7 +242,7 @@
- Page last modified on July 05, 2023, at 12:01 PM
+ Page last modified on January 12, 2024, at 11:13 PM
diff --git a/manual/Main/Welcome@action=edit.html b/manual/Main/Welcome@action=edit.html
index bf7e5fead..e919c5d18 100644
--- a/manual/Main/Welcome@action=edit.html
+++ b/manual/Main/Welcome@action=edit.html
@@ -226,7 +226,7 @@
- Page last modified on July 05, 2023, at 12:01 PM
+ Page last modified on January 12, 2024, at 11:13 PM
diff --git a/manual/Main/Welcome@action=login.html b/manual/Main/Welcome@action=login.html
index 1f40290d4..2a480e60b 100644
--- a/manual/Main/Welcome@action=login.html
+++ b/manual/Main/Welcome@action=login.html
@@ -224,7 +224,7 @@
- Page last modified on July 05, 2023, at 12:01 PM
+ Page last modified on January 12, 2024, at 11:13 PM
diff --git a/manual/Main/Welcome@action=print.html b/manual/Main/Welcome@action=print.html
index 7ed3c844e..d61f56caa 100644
--- a/manual/Main/Welcome@action=print.html
+++ b/manual/Main/Welcome@action=print.html
@@ -82,7 +82,7 @@
This document is the main source of information regarding the installation and operation of the PRISM tool. For access to other resources, such as related publications and details of case studies, or to download the tool itself, see the main PRISM website.
Which version of PRISM does this manual describe?
-This manual describes version 4.8.
+
This manual describes version 4.8.1.
In general, the online copy of the manual corresponds to the most recent
publically available
version of PRISM (including beta versions).
diff --git a/manual/ThePRISMLanguage/POMDPs@action=edit.html b/manual/ThePRISMLanguage/POMDPs@action=edit.html
index 7ba62bb46..fe2935d17 100644
--- a/manual/ThePRISMLanguage/POMDPs@action=edit.html
+++ b/manual/ThePRISMLanguage/POMDPs@action=edit.html
@@ -230,7 +230,7 @@
- Page last modified on January 12, 2024, at 11:13 PM
+ Page last modified on January 12, 2024, at 11:36 PM
diff --git a/manual/index.html b/manual/index.html
index 42276739e..4f6ff96ad 100644
--- a/manual/index.html
+++ b/manual/index.html
@@ -212,7 +212,7 @@
This document is the main source of information regarding the installation and operation of the PRISM tool. For access to other resources, such as related publications and details of case studies, or to download the tool itself, see the main PRISM website.
Which version of PRISM does this manual describe?
-This manual describes version 4.8.
+
This manual describes version 4.8.1.
In general, the online copy of the manual corresponds to the most recent
publically available
version of PRISM (including beta versions).
@@ -242,7 +242,7 @@
- Page last modified on July 05, 2023, at 12:01 PM
+ Page last modified on January 12, 2024, at 11:13 PM