Convert gilith.com links from HTTP to HTTPS

gilith · Mar 21, 2023 · 4e7d259 · 4e7d259
1 parent 523a6ea
commit 4e7d259
Show file tree

Hide file tree

Showing 31 changed files with 44 additions and 44 deletions.
diff --git a/README.md b/README.md
@@ -75,11 +75,11 @@ to clean out any object files.
 
 To report a bug or request an enhancement, please file an issue at [GitHub][OpentheoryIssues].
 
-[OpenTheory]: http://www.gilith.com/opentheory/ "OpenTheory project home page"
+[OpenTheory]: https://www.gilith.com/opentheory/ "OpenTheory project home page"
 [OpentheoryDevelopment]: https://github.com/gilith/opentheory "opentheory tool development"
 [OpentheoryIssues]: https://github.com/gilith/opentheory/issues "opentheory tool issues"
-[OpentheoryRelease]: http://www.gilith.com/software/opentheory/ "opentheory tool release"
-[StandardTheoryLibrary]: http://opentheory.gilith.com/?pkg=base "OpenTheory standard theory library"
+[OpentheoryRelease]: https://www.gilith.com/software/opentheory/ "opentheory tool release"
+[StandardTheoryLibrary]: https://opentheory.gilith.com/?pkg=base "OpenTheory standard theory library"
 [MLton]: http://www.mlton.org/ "MLton compiler"
 [Poly/ML]: http://www.polyml.org/ "Poly/ML compiler"
 [Moscow ML]: http://www.dina.dk/~sestoft/mosml.html "Moscow ML compiler"

diff --git a/data/haskell/opentheory-bits/opentheory-bits.cabal b/data/haskell/opentheory-bits/opentheory-bits.cabal
@@ -8,7 +8,7 @@ cabal-version: >= 1.8.0.2
 build-type: Simple
 author: Joe Leslie-Hurd <joe@gilith.com>
 maintainer: Joe Leslie-Hurd <joe@gilith.com>
-homepage: http://opentheory.gilith.com/?pkg=natural-bits
+homepage: https://opentheory.gilith.com/?pkg=natural-bits
 description:
   Natural number to bit-list conversions - this package was automatically
   generated from the OpenTheory package natural-bits-1.69

diff --git a/data/haskell/opentheory-byte/opentheory-byte.cabal b/data/haskell/opentheory-byte/opentheory-byte.cabal
@@ -8,7 +8,7 @@ cabal-version: >= 1.8.0.2
 build-type: Simple
 author: Joe Leslie-Hurd <joe@gilith.com>
 maintainer: Joe Leslie-Hurd <joe@gilith.com>
-homepage: http://opentheory.gilith.com/?pkg=byte
+homepage: https://opentheory.gilith.com/?pkg=byte
 description:
   Bytes - this package was automatically generated from the OpenTheory
   package byte-1.128

diff --git a/data/haskell/opentheory-divides/opentheory-divides.cabal b/data/haskell/opentheory-divides/opentheory-divides.cabal
@@ -8,7 +8,7 @@ cabal-version: >= 1.8.0.2
 build-type: Simple
 author: Joe Leslie-Hurd <joe@gilith.com>
 maintainer: Joe Leslie-Hurd <joe@gilith.com>
-homepage: http://opentheory.gilith.com/?pkg=natural-divides
+homepage: https://opentheory.gilith.com/?pkg=natural-divides
 description:
   The divides relation on natural numbers - this package was automatically
   generated from the OpenTheory package natural-divides-1.66

diff --git a/data/haskell/opentheory-parser/opentheory-parser.cabal b/data/haskell/opentheory-parser/opentheory-parser.cabal
@@ -8,7 +8,7 @@ cabal-version: >= 1.8.0.2
 build-type: Simple
 author: Joe Leslie-Hurd <joe@gilith.com>
 maintainer: Joe Leslie-Hurd <joe@gilith.com>
-homepage: http://opentheory.gilith.com/?pkg=parser
+homepage: https://opentheory.gilith.com/?pkg=parser
 description:
   Stream parsers - this package was automatically generated from the
   OpenTheory package parser-1.160

diff --git a/data/haskell/opentheory-prime/opentheory-prime.cabal b/data/haskell/opentheory-prime/opentheory-prime.cabal
@@ -8,7 +8,7 @@ cabal-version: >= 1.8.0.2
 build-type: Simple
 author: Joe Leslie-Hurd <joe@gilith.com>
 maintainer: Joe Leslie-Hurd <joe@gilith.com>
-homepage: http://opentheory.gilith.com/?pkg=natural-prime
+homepage: https://opentheory.gilith.com/?pkg=natural-prime
 description:
   Prime natural numbers - this package was automatically generated from the
   OpenTheory package natural-prime-1.85

diff --git a/data/haskell/opentheory-primitive/opentheory-primitive.cabal b/data/haskell/opentheory-primitive/opentheory-primitive.cabal
@@ -8,7 +8,7 @@ cabal-version: >= 1.8.0.2
 build-type: Simple
 author: Joe Leslie-Hurd <joe@gilith.com>
 maintainer: Joe Leslie-Hurd <joe@gilith.com>
-homepage: http://www.gilith.com/opentheory/
+homepage: https://www.gilith.com/opentheory/
 description:
   The types and values defined in this package extend those in the
   Prelude to provide the core execution platform assumed by Haskell

diff --git a/data/haskell/opentheory-probability/opentheory-probability.cabal b/data/haskell/opentheory-probability/opentheory-probability.cabal
@@ -8,7 +8,7 @@ cabal-version: >= 1.8.0.2
 build-type: Simple
 author: Joe Leslie-Hurd <joe@gilith.com>
 maintainer: Joe Leslie-Hurd <joe@gilith.com>
-homepage: http://opentheory.gilith.com/?pkg=probability
+homepage: https://opentheory.gilith.com/?pkg=probability
 description:
   Probability - this package was automatically generated from the
   OpenTheory package probability-1.52

diff --git a/data/haskell/opentheory-stream/opentheory-stream.cabal b/data/haskell/opentheory-stream/opentheory-stream.cabal
@@ -8,7 +8,7 @@ cabal-version: >= 1.8.0.2
 build-type: Simple
 author: Joe Leslie-Hurd <joe@gilith.com>
 maintainer: Joe Leslie-Hurd <joe@gilith.com>
-homepage: http://opentheory.gilith.com/?pkg=stream
+homepage: https://opentheory.gilith.com/?pkg=stream
 description:
   Infinite stream types - this package was automatically generated from the
   OpenTheory package stream-1.49

diff --git a/data/haskell/opentheory-unicode/opentheory-unicode.cabal b/data/haskell/opentheory-unicode/opentheory-unicode.cabal
@@ -8,7 +8,7 @@ cabal-version: >= 1.8.0.2
 build-type: Simple
 author: Joe Leslie-Hurd <joe@gilith.com>
 maintainer: Joe Leslie-Hurd <joe@gilith.com>
-homepage: http://opentheory.gilith.com/?pkg=char
+homepage: https://opentheory.gilith.com/?pkg=char
 description:
   Unicode characters - this package was automatically generated from the
   OpenTheory package char-1.142

diff --git a/data/haskell/opentheory/opentheory.cabal b/data/haskell/opentheory/opentheory.cabal
@@ -8,7 +8,7 @@ cabal-version: >= 1.8.0.2
 build-type: Simple
 author: Joe Leslie-Hurd <joe@gilith.com>
 maintainer: Joe Leslie-Hurd <joe@gilith.com>
-homepage: http://opentheory.gilith.com/?pkg=base
+homepage: https://opentheory.gilith.com/?pkg=base
 description:
   The standard theory library - this package was automatically generated
   from the OpenTheory package base-1.200

diff --git a/data/theories/base/base.thy b/data/theories/base/base.thy
@@ -3,7 +3,7 @@ version: 1.221
 description: The standard theory library
 author: Joe Leslie-Hurd <joe@gilith.com>
 license: MIT
-homepage: http://opentheory.gilith.com/?pkg=base
+homepage: https://opentheory.gilith.com/?pkg=base
 show: "Data.Bool"
 show: "Data.List"
 show: "Data.Option"

diff --git a/data/theories/byte/byte.thy b/data/theories/byte/byte.thy
@@ -3,7 +3,7 @@ version: 1.135
 description: Bytes
 author: Joe Leslie-Hurd <joe@gilith.com>
 license: MIT
-homepage: http://opentheory.gilith.com/?pkg=byte
+homepage: https://opentheory.gilith.com/?pkg=byte
 requires: base
 requires: natural-bits
 requires: natural-divides

diff --git a/data/theories/char/char.thy b/data/theories/char/char.thy
@@ -3,7 +3,7 @@ version: 1.145
 description: Unicode characters
 author: Joe Leslie-Hurd <joe@gilith.com>
 license: MIT
-homepage: http://opentheory.gilith.com/?pkg=char
+homepage: https://opentheory.gilith.com/?pkg=char
 requires: base
 requires: byte
 requires: natural-bits

diff --git a/data/theories/natural-bits/natural-bits.thy b/data/theories/natural-bits/natural-bits.thy
@@ -3,7 +3,7 @@ version: 1.72
 description: Natural number to bit-list conversions
 author: Joe Leslie-Hurd <joe@gilith.com>
 license: MIT
-homepage: http://opentheory.gilith.com/?pkg=natural-bits
+homepage: https://opentheory.gilith.com/?pkg=natural-bits
 requires: base
 requires: probability
 show: "Data.Bool"

diff --git a/data/theories/natural-divides/natural-divides.thy b/data/theories/natural-divides/natural-divides.thy
@@ -3,7 +3,7 @@ version: 1.68
 description: The divides relation on natural numbers
 author: Joe Leslie-Hurd <joe@gilith.com>
 license: MIT
-homepage: http://opentheory.gilith.com/?pkg=natural-divides
+homepage: https://opentheory.gilith.com/?pkg=natural-divides
 requires: base
 show: "Data.Bool"
 show: "Data.Pair"

diff --git a/data/theories/natural-prime/natural-prime.thy b/data/theories/natural-prime/natural-prime.thy
@@ -3,7 +3,7 @@ version: 1.87
 description: Prime natural numbers
 author: Joe Leslie-Hurd <joe@gilith.com>
 license: MIT
-homepage: http://opentheory.gilith.com/?pkg=natural-prime
+homepage: https://opentheory.gilith.com/?pkg=natural-prime
 requires: base
 requires: natural-divides
 requires: stream

diff --git a/data/theories/parser/parser.thy b/data/theories/parser/parser.thy
@@ -3,7 +3,7 @@ version: 1.162
 description: Stream parsers
 author: Joe Leslie-Hurd <joe@gilith.com>
 license: MIT
-homepage: http://opentheory.gilith.com/?pkg=parser
+homepage: https://opentheory.gilith.com/?pkg=parser
 requires: base
 show: "Data.Bool"
 show: "Data.List"

diff --git a/data/theories/probability/probability.thy b/data/theories/probability/probability.thy
@@ -3,7 +3,7 @@ version: 1.54
 description: Probability
 author: Joe Leslie-Hurd <joe@gilith.com>
 license: MIT
-homepage: http://opentheory.gilith.com/?pkg=probability
+homepage: https://opentheory.gilith.com/?pkg=probability
 requires: base
 requires: stream
 show: "Data.Bool"

diff --git a/data/theories/stream/stream.thy b/data/theories/stream/stream.thy
@@ -3,7 +3,7 @@ version: 1.51
 description: Infinite stream types
 author: Joe Leslie-Hurd <joe@gilith.com>
 license: MIT
-homepage: http://opentheory.gilith.com/?pkg=stream
+homepage: https://opentheory.gilith.com/?pkg=stream
 requires: base
 show: "Data.Bool"
 show: "Data.List"

diff --git a/doc/changelog.html b/doc/changelog.html
@@ -50,11 +50,11 @@ <h3>Changes to the opentheory tool</h3>
 
 <li>Support for
 
-<a href="http://www.gilith.com/opentheory/article-6.html">version 6</a>
+<a href="https://www.gilith.com/opentheory/article-6.html">version 6</a>
 
 of the
 
-<a href="http://www.gilith.com/opentheory/article.html">article file format</a>.</li>
+<a href="https://www.gilith.com/opentheory/article.html">article file format</a>.</li>
 
 </ul>
 
@@ -85,7 +85,7 @@ <h3>Changes to the opentheory tool</h3>
 
 <li>Support for uploading theory packages to the
 
-<a href="http://opentheory.gilith.com/">Gilith OpenTheory Repo</a>.</li>
+<a href="https://opentheory.gilith.com/">Gilith OpenTheory Repo</a>.</li>
 
 </ul></p>
 
@@ -95,7 +95,7 @@ <h3>Changes to the opentheory tool</h3>
 
 <li>Used to power the
 
-<a href="http://www.gilith.com/opentheory">OpenTheory project</a>.</li>
+<a href="https://www.gilith.com/opentheory">OpenTheory project</a>.</li>
 
 <li>Released sources under version 2 of the GPL License.</li>
 

diff --git a/doc/download.html b/doc/download.html
@@ -28,7 +28,7 @@ <h3>Download the opentheory tool</h3>
 
 <p>The latest version is
 
-opentheory 1.4 (release 20180810),
+opentheory 1.4 (release 20230321),
 
 and can be downloaded in the following formats:</p>
 

diff --git a/doc/index.html b/doc/index.html
@@ -52,7 +52,7 @@ <h3>Features of the opentheory tool</h3>
 
 <li>The opentheory tool is used to power the
 
-<a href="http://www.gilith.com/opentheory">OpenTheory project</a>.</li>
+<a href="https://www.gilith.com/opentheory">OpenTheory project</a>.</li>
 
 </ul>
 </p>
@@ -65,7 +65,7 @@ <h3>Project status</h3>
 
 is
 
-opentheory 1.4 (release 20180810).
+opentheory 1.4 (release 20230321).
 
 The opentheory tool is free software, released under the
 

diff --git a/doc/notes.html b/doc/notes.html
@@ -30,15 +30,15 @@ <h3>Documentation</h3>
 including the options available for each command. Other than this, the
 main source for information is the
 
-<a href="http://www.gilith.com/opentheory">OpenTheory project</a>.</p>
+<a href="https://www.gilith.com/opentheory">OpenTheory project</a>.</p>
 
 </ul>
 
 <h3>Author</h3>
 
 <p>The opentheory tool is developed by
 
-<a href="http://www.gilith.com/">Joe Leslie-Hurd</a>.</p>
+<a href="https://www.gilith.com/">Joe Leslie-Hurd</a>.</p>
 
 <hr />
 

diff --git a/repo/index.php b/repo/index.php
@@ -577,12 +577,12 @@ function pretty_upload_information($upload) {
 ', but the recommended way of downloading and processing theory
 packages is to use the
 
-<a href="http://www.gilith.com/software/opentheory/">opentheory</a>
+<a href="https://www.gilith.com/software/opentheory/">opentheory</a>
 
 package management tool. For more information on OpenTheory please
 refer to the
 
-<a href="http://www.gilith.com/opentheory/">project homepage</a>.</p>' .
+<a href="https://www.gilith.com/opentheory/">project homepage</a>.</p>' .
 
 '<h2>Recently Uploaded Packages <span class="more">[' .
 

diff --git a/repo/php/global.php b/repo/php/global.php
@@ -16,7 +16,7 @@
 
 define('SITE_PATH','/home/gilith/public_opentheory');
 
-define('SITE_URL','http://opentheory.gilith.com/');
+define('SITE_URL','https://opentheory.gilith.com/');
 
 ///////////////////////////////////////////////////////////////////////////////
 // OpenTheory repo details.
@@ -38,7 +38,7 @@
 
 define('ADMIN_EMAIL','joe@gilith.com');
 
-define('ADMIN_URL','http://www.gilith.com/');
+define('ADMIN_URL','https://www.gilith.com/');
 
 ///////////////////////////////////////////////////////////////////////////////
 // Database.

diff --git a/repo/upload/index.php b/repo/upload/index.php
@@ -212,7 +212,7 @@ function SelectUploadData($field) {
 
 <p>The recommended way to upload packages is to use the
 
-<a href="http://www.gilith.com/software/opentheory/">opentheory tool</a>,
+<a href="https://www.gilith.com/software/opentheory/">opentheory tool</a>,
 
 but it is also possible to <i>manually</i> upload package tarballs using the following form:</p>' .
 

diff --git a/src/PackageDocument.sml b/src/PackageDocument.sml
@@ -262,7 +262,7 @@ local
             let
               val attrs =
                   Html.singletonAttrs
-                    ("href","http://www.gilith.com/opentheory")
+                    ("href","https://www.gilith.com/opentheory")
 
               val text = "OpenTheory"
             in

diff --git a/src/RepositoryConfig.sml b/src/RepositoryConfig.sml
@@ -37,15 +37,15 @@ and urlRemoteKey = "url";
 (* Remote repository constants *)
 
 val gilithRemoteName = PackageName.gilithRemote
-and gilithRemoteUrl = "http://opentheory.gilith.com/";
+and gilithRemoteUrl = "https://opentheory.gilith.com/";
 
 val defaultRemoteRefresh = Time.fromSeconds 604800;  (* 1 week *)
 
 val remoteDefaultRemoteRefresh = Time.fromSeconds 43200;  (* 12 hours *)
 
 (* License constants *)
 
-val licenseUrlDirectory = "http://www.gilith.com/opentheory/licenses";
+val licenseUrlDirectory = "https://www.gilith.com/opentheory/licenses";
 
 val mitLicenseName = "MIT"
 and mitLicenseUrl = licenseUrlDirectory ^ "/" ^ "MIT.txt";

diff --git a/src/Tool.sml b/src/Tool.sml
@@ -24,9 +24,9 @@ val name = "opentheory";
 
 val version = "1.4";
 
-val release = " (release 20180810)";
+val release = " (release 20230321)";
 
-val homepage = "http://www.gilith.com/software/opentheory"
+val homepage = "https://www.gilith.com/software/opentheory"
 
 val versionString = name^" "^version^release^"\n";
 

diff --git a/test/result.ok b/test/result.ok
@@ -436,16 +436,16 @@ Config files
 
 [repo]
 name = gilith
-url = http://opentheory.gilith.com/
+url = https://opentheory.gilith.com/
 refresh = 604800
 
 [license]
 name = MIT
-url = http://www.gilith.com/opentheory/licenses/MIT.txt
+url = https://www.gilith.com/opentheory/licenses/MIT.txt
 
 [license]
 name = HOLLight
-url = http://www.gilith.com/opentheory/licenses/HOLLight.txt
+url = https://www.gilith.com/opentheory/licenses/HOLLight.txt
 
 [cleanup]
 auto = 3600