Update manual.

prismmodelchecker · Jan 12, 2024 · c541aff · c541aff
1 parent 24b85e6
commit c541aff
Show file tree

Hide file tree

Showing 11 changed files with 15 additions and 15 deletions.
diff --git a/manual/Main/AllOnOnePage.html b/manual/Main/AllOnOnePage.html
@@ -312,7 +312,7 @@
 
 <!--PageTitleFmt--><!--PageText-->
 <div id='wikitext'>
-<div class='vspace'></div><h1><span class='big'>PRISM Manual</span> &nbsp; version 4.8</h1>
+<div class='vspace'></div><h1><span class='big'>PRISM Manual</span> &nbsp; version 4.8.1</h1>
 <hr />
 <h1><span class='big'>Contents</span></h1>
 <hr />
@@ -5434,7 +5434,7 @@ <h1>Explicit Model Files</h1>
 </p>
 
     </div>
-    <div id='prism-man-lastmod'>Page last modified on July 05, 2023, at 12:01 PM</div>
+    <div id='prism-man-lastmod'>Page last modified on January 12, 2024, at 11:13 PM</div>
   </div>
 <!--/PageFooterFmt-->
 

diff --git a/manual/Main/AllOnOnePage@action=edit.html b/manual/Main/AllOnOnePage@action=edit.html
@@ -226,7 +226,7 @@
 </p>
 
     </div>
-    <div id='prism-man-lastmod'>Page last modified on July 05, 2023, at 12:01 PM</div>
+    <div id='prism-man-lastmod'>Page last modified on January 12, 2024, at 11:13 PM</div>
   </div>
 <!--/PageFooterFmt-->
 

diff --git a/manual/Main/AllOnOnePage@action=login.html b/manual/Main/AllOnOnePage@action=login.html
@@ -224,7 +224,7 @@
 </p>
 
     </div>
-    <div id='prism-man-lastmod'>Page last modified on July 05, 2023, at 12:01 PM</div>
+    <div id='prism-man-lastmod'>Page last modified on January 12, 2024, at 11:13 PM</div>
   </div>
 <!--/PageFooterFmt-->
 

diff --git a/manual/Main/AllOnOnePage@action=print.html b/manual/Main/AllOnOnePage@action=print.html
@@ -184,7 +184,7 @@
 
 <!--PageTitleFmt--><!--PageText-->
 <div id='wikitext'>
-<div class='vspace'></div><h1><span class='big'>PRISM Manual</span> &nbsp; version 4.8</h1>
+<div class='vspace'></div><h1><span class='big'>PRISM Manual</span> &nbsp; version 4.8.1</h1>
 <hr />
 <h1><span class='big'>Contents</span></h1>
 <hr />

diff --git 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 <a class='urllink' href='http://www.prismmodelchecker.org/publications.php'>related publications</a> and details of <a class='urllink' href='http://www.prismmodelchecker.org/casestudies/'>case studies</a>, or to <a class='urllink' href='http://www.prismmodelchecker.org/download.php'>download</a> the tool itself, see the main <a class='urllink' href='http://www.prismmodelchecker.org/'>PRISM website</a>.
 </p>
 <div class='vspace'></div><h3>Which version of PRISM does this manual describe?</h3>
-<p>This manual describes version <strong>4.8</strong>.
+<p>This manual describes version <strong>4.8.1</strong>.
 In general, the online copy of the manual corresponds to the most recent
 <a class='urllink' href='http://www.prismmodelchecker.org/download.php'>publically available</a>
 version of PRISM (including beta versions).
@@ -242,7 +242,7 @@
 </p>
 
     </div>
-    <div id='prism-man-lastmod'>Page last modified on July 05, 2023, at 12:01 PM</div>
+    <div id='prism-man-lastmod'>Page last modified on January 12, 2024, at 11:13 PM</div>
   </div>
 <!--/PageFooterFmt-->
 

diff --git 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 <a class='urllink' href='http://www.prismmodelchecker.org/publications.php'>related publications</a> and details of <a class='urllink' href='http://www.prismmodelchecker.org/casestudies/'>case studies</a>, or to <a class='urllink' href='http://www.prismmodelchecker.org/download.php'>download</a> the tool itself, see the main <a class='urllink' href='http://www.prismmodelchecker.org/'>PRISM website</a>.
 </p>
 <div class='vspace'></div><h3>Which version of PRISM does this manual describe?</h3>
-<p>This manual describes version <strong>4.8</strong>.
+<p>This manual describes version <strong>4.8.1</strong>.
 In general, the online copy of the manual corresponds to the most recent
 <a class='urllink' href='http://www.prismmodelchecker.org/download.php'>publically available</a>
 version of PRISM (including beta versions).
@@ -242,7 +242,7 @@
 </p>
 
     </div>
-    <div id='prism-man-lastmod'>Page last modified on July 05, 2023, at 12:01 PM</div>
+    <div id='prism-man-lastmod'>Page last modified on January 12, 2024, at 11:13 PM</div>
   </div>
 <!--/PageFooterFmt-->
 

diff --git a/manual/Main/Welcome@action=edit.html b/manual/Main/Welcome@action=edit.html
@@ -226,7 +226,7 @@
 </p>
 
     </div>
-    <div id='prism-man-lastmod'>Page last modified on July 05, 2023, at 12:01 PM</div>
+    <div id='prism-man-lastmod'>Page last modified on January 12, 2024, at 11:13 PM</div>
   </div>
 <!--/PageFooterFmt-->
 

diff --git a/manual/Main/Welcome@action=login.html b/manual/Main/Welcome@action=login.html
@@ -224,7 +224,7 @@
 </p>
 
     </div>
-    <div id='prism-man-lastmod'>Page last modified on July 05, 2023, at 12:01 PM</div>
+    <div id='prism-man-lastmod'>Page last modified on January 12, 2024, at 11:13 PM</div>
   </div>
 <!--/PageFooterFmt-->
 

diff --git 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 <a class='urllink' href='http://www.prismmodelchecker.org/publications.php'>related publications</a> and details of <a class='urllink' href='http://www.prismmodelchecker.org/casestudies/'>case studies</a>, or to <a class='urllink' href='http://www.prismmodelchecker.org/download.php'>download</a> the tool itself, see the main <a class='urllink' href='http://www.prismmodelchecker.org/'>PRISM website</a>.
 </p>
 <div class='vspace'></div><h3>Which version of PRISM does this manual describe?</h3>
-<p>This manual describes version <strong>4.8</strong>.
+<p>This manual describes version <strong>4.8.1</strong>.
 In general, the online copy of the manual corresponds to the most recent
 <a class='urllink' href='http://www.prismmodelchecker.org/download.php'>publically available</a>
 version of PRISM (including beta versions).

diff --git a/manual/ThePRISMLanguage/POMDPs@action=edit.html b/manual/ThePRISMLanguage/POMDPs@action=edit.html
@@ -230,7 +230,7 @@
 </p>
 
     </div>
-    <div id='prism-man-lastmod'>Page last modified on January 12, 2024, at 11:13 PM</div>
+    <div id='prism-man-lastmod'>Page last modified on January 12, 2024, at 11:36 PM</div>
   </div>
 <!--/PageFooterFmt-->
 

diff --git 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 <a class='urllink' href='http://www.prismmodelchecker.org/publications.php'>related publications</a> and details of <a class='urllink' href='http://www.prismmodelchecker.org/casestudies/'>case studies</a>, or to <a class='urllink' href='http://www.prismmodelchecker.org/download.php'>download</a> the tool itself, see the main <a class='urllink' href='http://www.prismmodelchecker.org/'>PRISM website</a>.
 </p>
 <div class='vspace'></div><h3>Which version of PRISM does this manual describe?</h3>
-<p>This manual describes version <strong>4.8</strong>.
+<p>This manual describes version <strong>4.8.1</strong>.
 In general, the online copy of the manual corresponds to the most recent
 <a class='urllink' href='http://www.prismmodelchecker.org/download.php'>publically available</a>
 version of PRISM (including beta versions).
@@ -242,7 +242,7 @@
 </p>
 
     </div>
-    <div id='prism-man-lastmod'>Page last modified on July 05, 2023, at 12:01 PM</div>
+    <div id='prism-man-lastmod'>Page last modified on January 12, 2024, at 11:13 PM</div>
   </div>
 <!--/PageFooterFmt-->
-Original file line number
+Diff line change
@@ Expand Up / @@ -226,7 +226,7 @@ @@
     </p>
         </div>
-        <div id='prism-man-lastmod'>Page last modified on July 05, 2023, at 12:01 PM</div>
+        <div id='prism-man-lastmod'>Page last modified on January 12, 2024, at 11:13 PM</div>
       </div>
     <!--/PageFooterFmt-->
@@ Expand Down @@