Small README updates.

prismmodelchecker · Jan 12, 2024 · 8f70273 · 8f70273
1 parent 817dd77
commit 8f70273
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 9 deletions.
diff --git a/README.md b/README.md
@@ -7,7 +7,7 @@ This is PRISM (Probabilistic Symbolic Model Checker).
 
 For detailed installation instructions, check the online manual at:
 
-  http://www.prismmodelchecker.org/manual/InstallingPRISM/Instructions
+  https://www.prismmodelchecker.org/manual/InstallingPRISM/Instructions
 
 or see the local copy included in this distribution:
 
@@ -38,15 +38,15 @@ If you have problems check the manual, especially the section "Common Problems A
 
 The best source of information about using PRISM is the online manual:
 
-  http://www.prismmodelchecker.org/manual/
+  https://www.prismmodelchecker.org/manual/
 
 You can also view the local copy included in this distribution:
 
   * `manual/index.html`
 
 For other PRISM-related information, see the website:
 
-  http://www.prismmodelchecker.org/doc
+  https://www.prismmodelchecker.org/doc
 
 Information for developers is kept here:
 
@@ -58,12 +58,12 @@ PRISM is distributed under the GNU General Public License (GPL), version 2.
 A copy of this license can be found in the file `COPYING.txt`.
 For more information, see:
 
-  http://www.gnu.org/licenses/
+  https://www.gnu.org/licenses/
 
 PRISM also uses various other libraries (mainly to be found in the lib directory).
 For details of those, including licenses and links to downloads and source code, see:
 
-http://www.prismmodelchecker.org/other-downloads.php
+https://www.prismmodelchecker.org/other-downloads.php
 
 
 ## Acknowledgements
@@ -112,14 +112,14 @@ We also gratefully acknowledge contributions to the PRISM code-base from
 
 For more details see:
 
-  http://www.prismmodelchecker.org/people.php
+  https://www.prismmodelchecker.org/people.php
 
 
 ## Contact
 
 If you have problems or questions regarding PRISM, please use the help forum provided. See:
 
-  http://www.prismmodelchecker.org/support.php
+  https://www.prismmodelchecker.org/support.php
 
 Other comments and feedback about any aspect of PRISM are also very welcome. Please contact:
 

diff --git a/prism/etc/README.txt b/prism/etc/README.txt
@@ -22,7 +22,7 @@ Where appropriate, comments/instructions are included in the files themselves.
 
  * scripts/hoa/ - Scripts for attaching external LTL-to-automaton translators
    to PRISM via the HOA (Hanoi Omega Automata) format. See:
-   http://www.prismmodelchecker.org/manual/ConfiguringPRISM/AutomataGeneration
+   https://www.prismmodelchecker.org/manual/ConfiguringPRISM/AutomataGeneration
 
  * syntax-highlighters/ - Syntax highlighting configs for various tools
    - gnome/{Overrides.xml,prism.lang} - files for Gnome environment

diff --git a/prism/ext/README.md b/prism/ext/README.md
@@ -6,7 +6,7 @@ To simplify maintenance of scripts and config files, we mostly omit version numb
 
 See here for more details and links:
 
-http://www.prismmodelchecker.org/other-downloads.php
+https://www.prismmodelchecker.org/other-downloads.php
 
 and here for further details about compilation: