From c541affb994f3ed044ae4e1dce3ed3dd078323be Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 12 Jan 2024 23:37:16 +0000 Subject: [PATCH] Update manual. --- manual/Main/AllOnOnePage.html | 4 ++-- manual/Main/AllOnOnePage@action=edit.html | 2 +- manual/Main/AllOnOnePage@action=login.html | 2 +- manual/Main/AllOnOnePage@action=print.html | 2 +- manual/Main/Main.html | 4 ++-- manual/Main/Welcome.html | 4 ++-- manual/Main/Welcome@action=edit.html | 2 +- manual/Main/Welcome@action=login.html | 2 +- manual/Main/Welcome@action=print.html | 2 +- manual/ThePRISMLanguage/POMDPs@action=edit.html | 2 +- manual/index.html | 4 ++-- 11 files changed, 15 insertions(+), 15 deletions(-) diff --git a/manual/Main/AllOnOnePage.html b/manual/Main/AllOnOnePage.html index a2ced8121d..bdd5b14b00 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 6346567669..d2bd6cdbfe 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 8d3dfbeb14..d35261ac94 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 198c410ef4..2a4921b758 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 8552ac7565..e45e088ee2 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 8552ac7565..e45e088ee2 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 bf7e5feadf..e919c5d18c 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 1f40290d42..2a480e60bc 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 7ed3c844ed..d61f56caab 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 7ba62bb467..fe2935d17f 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 42276739ec..4f6ff96ade 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