Change http to https for many web links

.clang-format

@@ -3,7 +3,7 @@
 # of the GAP kernel.
 #
 # For information on the settings in this file, please consult
-# <http://clang.llvm.org/docs/ClangFormatStyleOptions.html>
+# <https://clang.llvm.org/docs/ClangFormatStyleOptions.html>
 # See also <https://clangformat.com/>
 
 AlignConsecutiveDeclarations: true

.editorconfig

@@ -1,4 +1,4 @@
-# See http://EditorConfig.org
+# See https://EditorConfig.org
 
 # This is the top-most EditorConfig file
 root = true

CONTRIBUTING.md

@@ -51,7 +51,7 @@ GAP development follows a straightforward branching model. We prefer using
 the GitHub infrastructure. If you would like to contribute, but do not want
 to create a GitHub account, see below for an alternative.
 
-* Make sure you are familiar with [Git](http://git-scm.com/book)
+* Make sure you are familiar with [Git](https://git-scm.com/book)
   * see for example the [Atlassian Git Tutorials](https://www.atlassian.com/git/tutorials/)
     for an excellent introduction to Git.
 * Make sure you have a [GitHub account](https://github.com/signup/free).
@@ -140,7 +140,7 @@ repository like so:
     git clone https://github.com/gap-system/gap.git
 
 Make your changes and commits, create a patch containing the commits you
-want to send, and use git's [`send-email` feature](http://git-scm.com/docs/git-send-email)
+want to send, and use git's [`send-email` feature](https://git-scm.com/docs/git-send-email)
 to email the patch to <gap@gap-system.org>.  You can refer to
 [this tutorial](https://burzalodowa.wordpress.com/2013/10/05/how-to-send-patches-with-git-send-email/)
 on how to do this.

INSTALL.md

@@ -162,7 +162,7 @@ description of each is also available via
 GMP
 ---
 
-GAP 4 uses the external library GMP (see <http://www.gmplib.org>) for large
+GAP 4 uses the external library GMP (see <https://www.gmplib.org>) for large
 integer arithmetic, replacing the built-in code used in previous versions
 and achieving a significant speed-up in related computations. There is a
 version of GMP included with the GAP archive you downloaded and this will
@@ -187,7 +187,7 @@ Readline
 --------
 
 GAP optionally also uses the external library GNU Readline (see
-<http://www.gnu.org/software/readline>) for better command line
+<https://www.gnu.org/software/readline>) for better command line
 editing. GAP will use this library by default if it is available on
 your system. You can configure Readline use as follows:
 
@@ -403,8 +403,8 @@ files are included in the directory `gap-4.X.Y/doc` in the subdirectories
 
 If you want to use these manual files with the help system from your GAP
 session you may check (or make sure) that your system provides some
-additional software like [xpdf](http://www.foolabs.com/xpdf/) or
-[acroread](http://www.adobe.com/products/acrobat/readstep.html).
+additional software like [xpdf](https://www.foolabs.com/xpdf/) or
+[acroread](https://www.adobe.com/products/acrobat/readstep.html).
 
 To complete beginners, we suggest you read (parts of) the tutorial first
 for an introduction to GAP 4. Then start to use the system with extensive

Makefile.rules

@@ -283,7 +283,7 @@ endif
 # Finally, to let make track the header dependencies, we include the *.d files.
 #
 # For a more detailed explanation of a very similar scheme, read this:
-# http://make.mad-scientist.net/papers/advanced-auto-dependency-generation/
+# https://make.mad-scientist.net/papers/advanced-auto-dependency-generation/
 #
 ########################################################################
 

README.buildsys.md

@@ -152,7 +152,7 @@ These files are mostly generated by the compiler; for this, the compiler needs
 to support the relevant flags (gcc, clang, icc all do so).
 
 For a detailed explanation of a very similar scheme, see here:
-<http://make.mad-scientist.net/papers/advanced-auto-dependency-generation/>
+<https://make.mad-scientist.net/papers/advanced-auto-dependency-generation/>
 
 
 ## HPC-GAP integration

README.md

@@ -127,7 +127,7 @@ If everything goes well, you should be able to start GAP by executing
     sh bin/gap.sh
 
 You can also find development versions of some of the GAP packages on
-<https://github.com/gap-packages> resp. on <http://gap-packages.github.io>.
+<https://github.com/gap-packages> resp. on <https://gap-packages.github.io>.
 
 
 # We welcome contributions
@@ -159,4 +159,4 @@ of the GNU General Public License as published by the Free Software
 Foundation; either version 2 of the License, or (at your option) any later
 version. For details, please refer to the GAP reference manual, as well as the
 file `LICENSE` in the root directory of the GAP distribution or see
-<http://www.gnu.org/licenses/gpl.html>.
+<https://www.gnu.org/licenses/gpl.html>.

configure.ac

@@ -2,7 +2,7 @@ dnl
 dnl Setup autoconf
 dnl
 AC_PREREQ([2.68])
-AC_INIT([GAP], [4.dev], [support@gap-system.org], [gap], [http://www.gap-system.org/])
+AC_INIT([GAP], [4.dev], [support@gap-system.org], [gap], [https://www.gap-system.org/])
 
 AC_CONFIG_SRCDIR([src/gap.c])
 AC_CONFIG_AUX_DIR([cnf])
@@ -514,7 +514,7 @@ dnl TODO: check if $with_gc = julia; if so, error out if julia is not found
 AS_IF([test "x$with_gc" = xboehm],
   [
   # We bundle two libraries we need for HPC-GAP:
-  # Boehm garbage collector, see http://www.hboehm.info/gc/
+  # Boehm garbage collector, see https://www.hboehm.info/gc/
   # libatomic_ops - part of Boehm GC, but see also https://github.com/ivmai/libatomic_ops
   #
   # We bundle them because we need a few patches to Boehm GC which are

doc/changes/main.xml

@@ -36,7 +36,7 @@
     <P/>
     Most parts of this distribution, including the core part of the &GAP; 
     system are distributed under the terms of the GNU General Public License, 
-    see <URL>http://www.gnu.org/licenses/gpl.html</URL> or the file 
+    see <URL>https://www.gnu.org/licenses/gpl.html</URL> or the file
     <F>GPL</F> in the <F>etc</F> directory of the &GAP; 
     installation.
     <P/>

doc/dev/lib.xml

@@ -65,7 +65,7 @@ memory checking is enabled.
 <P/>
 
 <C>--enable-valgrind</C> makes changes to GASMAN so it is compatible with the
-<URL Text="valgrind">http://valgrind.org</URL> memory checking program.
+<URL Text="valgrind">https://valgrind.org</URL> memory checking program.
 Without this, Valgrind will report many incorrect warnings relating to GASMAN
 and no useful warnings.
 <P/>

doc/dev/updates.xml

@@ -451,7 +451,7 @@ To produce the <F>-win.zip</F> archive with binaries for &GAP; and some
 packages, you need the <F>-nobin-win.zip</F> archive with Windows-style 
 line breaks from the &GAP; source distribution produced as described
 above, and a Windows computer with <Package>Cygwin</Package> 
-(<URL>http://www.cygwin.com/</URL>) installed.
+(<URL>https://www.cygwin.com/</URL>) installed.
 <P/>
 
 Unpack the archive, start <Package>Cygwin</Package> shell, change to the

doc/dev/website.xml

@@ -104,7 +104,7 @@ git clone https://github.com/gap-system/Mixer
 an build the <Package>Mixer</Package> as described in the <F>mixer.README</F> 
 file (see Section <Ref Sect="WPMixer"/> for further details). For this step, 
 you will need a C compiler (for compiling parts of the <Package>Mixer</Package>) 
-and a <URL Text="Python">http://www.python.org/</URL> interpreter (for 
+and a <URL Text="Python">https://www.python.org/</URL> interpreter (for
 running the <Package>Mixer</Package>). 
 <P/>
 
@@ -197,7 +197,7 @@ makes it much easier to parse such documents automatically and check
 for <Q>well-formedness</Q>. Here, the term <Q>well-formed</Q> means
 that the document fulfils a set of syntactic rules. That is, a document
 might be well-formed and at the same time not make any sense.
-See <URL Text="this page">http://www.w3.org/TR/xhtml1/</URL> for details.
+See <URL Text="this page">https://www.w3.org/TR/xhtml1/</URL> for details.
 A short introduction to the XML standard can be found in
 Section <Ref Sect="XML" BookName="GAPDoc"/>  in the &GAPDoc; manual.
 <P/>
@@ -241,14 +241,14 @@ formating rules in the style sheet.
     and <Q><C>&amp;gt;</C></Q>
     respectively. There are quite a few such <Q>entities</Q> which are
     defined to enter special characters. See
-    <URL Text="this page">http://www.w3.org/TR/xhtml1/Overview.html#h-A2</URL>
+    <URL Text="this page">https://www.w3.org/TR/xhtml1/Overview.html#h-A2</URL>
     for details.
 </Item>
 </Enum>
 
-Using the <URL Text="W3C">http://www.w3.org/TR/html401/</URL> 
+Using the <URL Text="W3C">https://www.w3.org/TR/html401/</URL>
 specification
-<URL Text="HTML 4.01">http://www.w3.org/TR/html401/</URL> - this includes 
+<URL Text="HTML 4.01">https://www.w3.org/TR/html401/</URL> - this includes
 a nice <E>elements</E> overview - together with the above rules and 
 the general rule to avoid complicated looking constructs when possible,
 we found it not too difficult to produce sets of valid web pages.

doc/hpc/main.xml

@@ -32,7 +32,7 @@
     <P/>
     Most parts of this distribution, including the core part of the &GAP;
     system are distributed under the terms of the GNU General Public License,
-    see <URL>http://www.gnu.org/licenses/gpl.html</URL> or the file
+    see <URL>https://www.gnu.org/licenses/gpl.html</URL> or the file
     <F>GPL</F> in the <F>etc</F> directory of the &GAP;
     installation.
     <P/>

doc/migratedoc.tex

@@ -29,7 +29,7 @@
 Most parts of the {\GAP} distribution, including 
 the core part of the {\GAP} system, are distributed 
 under the terms of the GNU General Public License
-(see {\tt{http://www.gnu.org/licenses/gpl.html}} 
+(see {\tt{https://www.gnu.org/licenses/gpl.html}}
 or the file {\tt GPL} in the {\tt etc} directory 
 of the {\GAP} installation). 
 

doc/ref/copyright.xml

@@ -29,7 +29,7 @@ it under the terms of the GNU General Public License as published by
 the Free Software Foundation; either version 2 of the License, or
 (at your option) any later version. For details, see 
 the file <F>LICENSE</F> in the root directory of the &GAP; distribution or see
-<URL>http://www.gnu.org/licenses/gpl.html</URL>.
+<URL>https://www.gnu.org/licenses/gpl.html</URL>.
 <P/>
 If you obtain &GAP; please send us a short notice to that effect, e.g.,
 an e-mail message to the address <Email>support@gap-system.org</Email>. 
@@ -68,7 +68,7 @@ the following terms apply to the versions of &GAP; for Windows.
 <P/>
 The executable of &GAP; for Windows that we distribute was compiled with
 the <C>gcc</C> compiler supplied with <Package>Cygwin</Package> installation
-(<URL>http://cygwin.com/</URL>).
+(<URL>https://cygwin.com/</URL>).
 <P/>
 The GNU C compiler is
 <P/>
@@ -87,7 +87,7 @@ The <F>cyggcc_s-1.dll</F>, <F>cygncurses-10.dll</F>, <F>cygncursesw-10.dll</F>,
 and <F>regtool.exe</F> are taken unmodified from the 
 <Package>Cygwin</Package> distribution. They are copyright by RedHat Software
 and released under the GPL. For more information on <Package>Cygwin</Package>,
-see <URL>http://www.cygwin.com</URL>. 
+see <URL>https://www.cygwin.com</URL>.
 <P/>
 Please contact <Email>support@gap-system.org</Email> if you need further information.
 

doc/ref/gappkg.xml

@@ -538,7 +538,7 @@ but if you use the &GAPDoc; package you should have no trouble in producing one.
 <P/>
 Moreover, using the 
 &GAPDoc; package, it is also possible to produce HTML version of the
-documentation supporting MathJax (<URL>http://www.mathjax.org/</URL>) 
+documentation supporting MathJax (<URL>https://www.mathjax.org/</URL>)
 for the high quality rendering of mathematical symbols while viewing 
 it online. For example, if you are viewing the HTML version of the manual, 
 compare how this formula will look with MathJax turned on/off:
@@ -1451,7 +1451,7 @@ the changes between versions "4.4.12", "4.5.1" and "4.5.2" than between
 versions "2008.12.17", "2011.04.15" and "2011.09.14". The concept of
 using version numbers to convey the meaning of the status of the code
 and the way it has been modified is known as <Q>Semantic Versioning</Q>,
-see <URL>http://semver.org/</URL> for further recommendations on its use.
+see <URL>https://semver.org/</URL> for further recommendations on its use.
 <P/>
 Since version information is duplicated in several places throughout the 
 package documentation, for &GAPDoc;-based manuals you may define the 
@@ -1775,7 +1775,7 @@ you to consider the GPL license for your packages, but you might wish to be more
 restrictive (for instance forbidding redistribution for profit) or less 
 restrictive (allowing your software to be incorporated into commercial 
 software). See <Q>Choosing a License for the Distribution of Your Package</Q>
-from <URL>http://www.gap-system.org/Packages/Authors/authors.html</URL> and also
+from <URL>https://www.gap-system.org/Packages/Authors/authors.html</URL> and also
 <URL>https://choosealicense.com/</URL> for further details. 
 <P/>
 
@@ -1787,7 +1787,7 @@ more explicit by making the exact reference to the GPL license, for example:
 <E>
 <Package>packagename</Package> is free software; you can redistribute it 
 and/or modify it under the terms of the 
-<URL Text="GNU General Public License">http://www.fsf.org/licenses/gpl.html</URL> 
+<URL Text="GNU General Public License">https://www.fsf.org/licenses/gpl.html</URL>
 as published by the Free Software Foundation; either version 2 of the License, 
 or (at your option) any later version.
 </E>
@@ -1937,7 +1937,7 @@ version of your archive and we produce also a <C>.tar.bz2</C>, <C>.zip</C>
 and a <C>-win.zip</C> version from it). 
 <P/>
 Please also consider submitting your package to the &GAP; package refereeing 
-process (see <URL>http://www.gap-system.org/Contacts/submit.html</URL> for
+process (see <URL>https://www.gap-system.org/Contacts/submit.html</URL> for
 further information).
 <P/>
 For packages hosted on GitHub publishing package release and establishing its

doc/ref/help.xml

@@ -287,7 +287,7 @@ in your <F>gap.ini</F> file (see&nbsp;<Ref Sect="sect:gap.ini"/>).
   printed on the screen.
   None of the help viewers seems to be capable of 
   opening a pdf at a given named destination (i. e., jump to precisely the place where the information can be found).
-  The pdf viewer <C>"Skim"</C> is open source software, it can be downloaded from <F>http://skim-app.sourceforge.net/</F>.
+  The pdf viewer <C>"Skim"</C> is open source software, it can be downloaded from <F>https://skim-app.sourceforge.io/</F>.
 </Item>
 <Mark><C>"less"</C> or <C>"more"</C></Mark>
 <Item>

doc/ref/main.xml

@@ -44,7 +44,7 @@
     Most parts of this distribution, including the core part of the ⪆ 
     system are distributed under the terms of the GNU General Public License
     Version 2,
-    see <URL>http://www.gnu.org/licenses/old-licenses/gpl-2.0.html</URL> or the
+    see <URL>https://www.gnu.org/licenses/old-licenses/gpl-2.0.html</URL> or the
     <F>LICENSE</F> file in the root directory of the &GAP;
     installation.
     <P/>

doc/ref/mloop.xml

@@ -1292,7 +1292,7 @@ we provide some setup files for the editors <C>vim</C> and
 <P/>
 <C>vim</C> is a powerful editor that understands the basic <C>vi</C> commands
 but provides much more functionality. You can find more information about it
-(and download it) from <URL>http://www.vim.org</URL>.
+(and download it) from <URL>https://www.vim.org</URL>.
 <P/>
 To get support for &GAP; syntax in vim, create in your home directory a
 directory <F>.vim</F> with  subdirectories  <F>.vim/syntax</F> and

doc/tut/main.xml

@@ -27,7 +27,7 @@
     <P/>
     Most parts of this distribution, including the core part of the &GAP; 
     system are distributed under the terms of the GNU General Public License, 
-    see <URL>http://www.gnu.org/licenses/gpl.html</URL> or the file 
+    see <URL>https://www.gnu.org/licenses/gpl.html</URL> or the file
     <F>GPL</F> in the <F>etc</F> directory of the &GAP; 
     installation.
     <P/>

lib/cmdledit.g

@@ -33,7 +33,7 @@ GAPInfo.UseReadline := true;
 ##  
 ##  You        can        use        all       the        features        of
 ##  <C>readline</C>,         as         for        example         explained
-##  in   <URL>http://tiswww.case.edu/php/chet/readline/rluserman.html</URL>.
+##  in  <URL>https://tiswww.case.edu/php/chet/readline/rluserman.html</URL>.
 ##  Therefore  the  command  line  editing   in  &GAP;  is  similar  to  the
 ##  <C>bash</C> shell  and many other  programs. On a Unix/Linux  system you
 ##  may also have a manpage, try <C>man readline</C>. <P/>
@@ -75,8 +75,8 @@ GAPInfo.UseReadline := true;
 ##  on Unix/Linux) to  customize key bindings. If you want  settings be used
 ##  only within  &GAP; you  can write them  between lines  containing <C>$if
 ##  GAP</C> and <C>$endif</C>. For a detailed documentation of the available
-##  settings and functions see <URL
-##  Text="here">http://tiswww.case.edu/php/chet/readline/rluserman.html</URL>.
+##  settings and functions see <URL Text="here">
+##  https://tiswww.case.edu/php/chet/readline/rluserman.html</URL>.
 ##  
 ##  <Listing Type="From readline init file">
 ##  $if GAP

lib/grplatt.gd

@@ -333,7 +333,7 @@ DeclareAttribute("MinimalSupergroupsLattice",IsLatticeSubgroupsRep);
 ##  This function produces a graphical representation of the subgroup
 ##  lattice <A>L</A> in file <A>file</A>. The output is in <C>.dot</C> (also known as
 ##  <C>GraphViz</C> format). For details on the format, and information about how to
-##  display or edit this format see <URL>http://www.graphviz.org</URL>. (On the
+##  display or edit this format see <URL>https://www.graphviz.org</URL>. (On the
 ##  Macintosh, the program <C>OmniGraffle</C> is also able to read this format.)
 ##  <P/>
 ##  Subgroups are labelled in the form <C><A>i</A>-<A>j</A></C> where <A>i</A> is the number of

lib/numtheor.gd

@@ -616,7 +616,7 @@ DeclareGlobalFunction( "DoLogModRho" );
 ##  9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091,
 ##  756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917,
 ##  20996011, 24036583 and 25964951. Please find more up to date information
-##  about Mersenne primes at <URL>http://www.mersenne.org</URL>.
+##  about Mersenne primes at <URL>https://www.mersenne.org</URL>.
 ##  It is not known whether odd perfect integers exist,
 ##  however&nbsp;<Cite Key="BC89"/> show that any such integer must have
 ##  at least 300 decimal digits.

lib/process.gd

@@ -164,7 +164,7 @@ DeclareGlobalFunction("TmpNameAllArchs");
 ##
 #F ShortFileNameWindows(<name>)
 ##
-##  returns a short file name (http://en.wikipedia.org/wiki/8.3_filename)
+##  returns a short file name (https://en.wikipedia.org/wiki/8.3_filename)
 ##  for use under Windows. Paths can contain either / or \ separators,
 ##  either will be permitted.
 DeclareGlobalFunction("ShortFileNameWindows");

lib/schursym.gi

@@ -16,7 +16,7 @@
 ##
 ##  Faithful, irreducible representations of minimal degree of the double
 ##  covers of symmetric groups can be constructed inductively using the 
-##  methods of http://arxiv.org/abs/0911.3794
+##  methods of https://arxiv.org/abs/0911.3794
 ##
 ##  The inductive formulation uses a number of helper routines which are
 ##  wrapped inside a function call to keep from declaring a large number

src/blister.h

@@ -268,7 +268,7 @@ UInt COUNT_TRUES_BLOCK(UInt block);
 **  bits in the array of UInt values starting at <ptr> and including a total
 **  of <nblocks> UInts. The only reason this function is really needed is
 **  that, owing to hardware bugs and compiler peculiarities current in 2017,
-**  (see http://danluu.com/assembly-intrinsics/ or
+**  (see https://danluu.com/assembly-intrinsics/ or
 **  https://stackoverflow.com/questions/25078285?) manually unrolling this
 **  loop makes the code substantially faster on almost all CPUS.
 **

src/iostream.c

@@ -141,7 +141,7 @@ static UInt OpenPty(int * master, int * slave)
     /* openpty is available on OpenBSD, NetBSD and FreeBSD, Mac OS X,
        Cygwin, Interix, OSF/1 4 and 5, and glibc (since 1998), and hence
        on most modern Linux systems. See also:
-       http://www.gnu.org/software/gnulib/manual/html_node/openpty.html */
+       https://www.gnu.org/software/gnulib/manual/html_node/openpty.html */
     return (openpty(master, slave, NULL, NULL, NULL) < 0);
 }
 

src/sysfiles.c

@@ -399,7 +399,7 @@ static Obj FuncCrcString(Obj self, Obj str)
 
 /****************************************************************************
 ** The function 'find_yourself' is based on code (C) 2015 Mark Whitis, under
-** the MIT License : http://stackoverflow.com/a/34271901/928031
+** the MIT License : https://stackoverflow.com/a/34271901/928031
 */
 
 static void