Fix pre-commit config

.envrc

@@ -1 +1 @@
-eval "$(lorri direnv)"
+eval "$(lorri direnv)"

.gitignore

@@ -1,3 +1,3 @@
 *.ibc
 *.o
-target/
+target/

.pre-commit-config.yaml

@@ -6,6 +6,11 @@ repos:
 - hooks:
   - id: end-of-file-fixer
   - id: trailing-whitespace
+  - files: ^.pre-commit-config.yaml$
+    id: check-yaml
+    name: Check pre-commit config
+  repo: git://github.com/pre-commit/pre-commit-hooks
+  rev: v3.2.0
 - hooks:
   - id: nixpkgs-fmt
     name: Format .nix files

LICENSE

@@ -18,4 +18,4 @@ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-THE SOFTWARE.
+THE SOFTWARE.

docs/_Chapter_GIS.xml

@@ -65,4 +65,3 @@ sense (satisfying <M>IsGroup</M>), and <A>int</A> is a function from
 
 
 </Chapter>
-

docs/chap0.txt

@@ -1,30 +1,30 @@
-  
-  
+
+
                                       gis 
-  
-  
+
+
                           Generalized Interval Systems 
-  
-  
+
+
                                      0.0.2
-  
-  
+
+
                                  21 August 2020
-  
-  
+
+
                                   Eric Bailey
-  
-  
-  
+
+
+
   Eric Bailey
       Email:    mailto:eric@ericb.me
       Homepage: https://github.com/yurrriq
-  
+
   -------------------------------------------------------
-  
-  
+
+
   Contents (gis)
-  
+
   1 GIS
     1.1 Constructing a GIS
       1.1-1 GIS
@@ -33,6 +33,6 @@
     1.3 Predefined GIS
       1.3-1 PSpace
       1.3-2 PCSpace
-  
-  
+
+
   

docs/chap1.txt

@@ -1,40 +1,39 @@
-  
+
   1 GIS
-  
-  
+
+
   1.1 Constructing a GIS
-  
+
   1.1-1 GIS
-  
+
   GIS( S, IVLS, int )  operation
-  
+
   A  Generalized  Interval  System  (GIS) is an ordered triple (S, IVLS, int),
   where the space S of the GIS is a set of elements (satisfying IsObject), the
   set  IVLS  of  intervals  for  the  GIS is a group in the mathematical sense
   (satisfying  IsGroup),  and  int  is  a  function  from S x S into IVLS such
   that...
-  
-  
+
+
   1.2 Computing intervals
-  
+
   1.2-1 GISInt
-  
+
   GISInt( GIS, s, t )  operation
-  
+
   ∀ s, t ∈ S, int(s, t) where gis = (S, IVLS, int)
-  
-  
+
+
   1.3 Predefined GIS
-  
+
   1.3-1 PSpace
-  
+
   PSpace global variable
-  
+
   (Z, (Z,+), int) where int:Z×Z->Z and int(s,t) = t-s.
-  
+
   1.3-2 PCSpace
-  
+
   PCSpace global variable
-  
+
   (Z_12, (Z_12,+), int) where int:Z_12×Z_12->Z_12 and int(s,t) = (t-s)mod 12.
-

docs/chapInd.txt

@@ -1,11 +1,11 @@
-  
-  
+
+
   Index
-  
-  GIS, for IsMusicalSpace, IsGroup, IsFunction 1.1-1 
-  GISInt, for IsGIS, IsObject, IsObject 1.2-1 
-  PCSpace 1.3-2 
-  PSpace 1.3-1 
-  
-  
+
+  GIS, for IsMusicalSpace, IsGroup, IsFunction 1.1-1
+  GISInt, for IsGIS, IsObject, IsObject 1.2-1
+  PCSpace 1.3-2
+  PSpace 1.3-1
+
+
   -------------------------------------------------------

docs/chooser.html

@@ -25,7 +25,7 @@
 
 <!-- find style from current values in form -->
 function getstyle() {
-  var choices = ["toggle","colorprompt","tocside","font","justify"]; 
+  var choices = ["toggle","colorprompt","tocside","font","justify"];
   var style = "";
   for (var i=0; choices.length > i; i++) {
     var a = currval(choices[i]);
@@ -61,7 +61,7 @@
     for (var i=0; chform.length > i; i++) {
       if (chform[i].type == "radio") {
         for (var j=0; stlist.length > j; j++) {
-          if (chform[i].value == stlist[j]) 
+          if (chform[i].value == stlist[j])
             chform[i].checked = true;
         }
       }
@@ -77,47 +77,47 @@ <h2>Setting preferences for GAPDoc manuals</h2>
 
 <form name="SetGAPDocHTMLStyle" action="">
 <p>
-<input name="reset" type="reset" value="Reset to defaults" 
+<input name="reset" type="reset" value="Reset to defaults"
 onclick="javascript:resetf()"/>
 </p>
 <p>
-Unfold subsections in menus only by mouse clicks: 
+Unfold subsections in menus only by mouse clicks:
 <input type="radio" name="toggle" value="" checked="checked"
-onclick="javascript:f()"/> no (default) 
+onclick="javascript:f()"/> no (default)
 &nbsp;&nbsp;&nbsp;
 <input type="radio" name="toggle" value="toggless"
-onclick="javascript:f()"/> yes 
+onclick="javascript:f()"/> yes
 </p>
 <p>
-Show GAP examples as in sessions with <code>ColorPrompt(true)</code>: 
+Show GAP examples as in sessions with <code>ColorPrompt(true)</code>:
 <input type="radio" name="colorprompt" value="" checked="checked"
-onclick="javascript:f()"/> yes 
+onclick="javascript:f()"/> yes
 (default) &nbsp;&nbsp;&nbsp;
 <input type="radio" name="colorprompt" value="nocolorprompt"
-onclick="javascript:f()"/> no 
+onclick="javascript:f()"/> no
 </p>
 <p>
-Display side of table of contents within chapters: 
+Display side of table of contents within chapters:
 <input type="radio" name="tocside" value="" checked="checked"
 onclick="javascript:f()"/> right (default) &nbsp;&nbsp;&nbsp;
 <input type="radio" name="tocside" value="lefttoc"
-onclick="javascript:f()"/> left 
+onclick="javascript:f()"/> left
 </p>
 <p>
-Main document font: 
+Main document font:
 <input type="radio" name="font" value="" checked="checked"
-onclick="javascript:f()"/> Helvetica/sans 
+onclick="javascript:f()"/> Helvetica/sans
 serif (default) &nbsp;&nbsp;&nbsp;
 <input type="radio" name="font" value="times"
 onclick="javascript:f()"/> Times/serif
 </p>
 <p>
-Paragraph formatting: 
+Paragraph formatting:
 <input type="radio" name="justify" value="" checked="checked"
-onclick="javascript:f()"/> left-right 
+onclick="javascript:f()"/> left-right
 justified (default) &nbsp;&nbsp;&nbsp;
 <input type="radio" name="justify" value="ragged"
-onclick="javascript:f()"/> ragged right 
+onclick="javascript:f()"/> ragged right
 </p>
 </form>
 <p>

docs/gis.tex

@@ -42,7 +42,7 @@
 
 \usepackage[
             pdftex=true,
-            bookmarks=true,        
+            bookmarks=true,
             a4paper=true,
             pdftitle={Written with GAPDoc},
             pdfcreator={LaTeX with hyperref package / GAPDoc},
@@ -53,7 +53,7 @@
             citecolor=citeColor,
             filecolor=fileColor,
             urlcolor=urlColor,
-            pdfpagemode={UseNone}, 
+            pdfpagemode={UseNone},
            ]{hyperref}
 
 \newcommand{\maintitlesize}{\fontsize{50}{55}\selectfont}
@@ -77,7 +77,7 @@
 
             \usepackage{amsmath}
             \usepackage[T1]{fontenc}
-            
+
 
 
 
@@ -125,17 +125,17 @@
 \tableofcontents
 \newpage
 
-     
+
 \chapter{\textcolor{Chapter }{GIS}}\label{Chapter_GIS}
 \logpage{[ 1, 0, 0 ]}
 \hyperdef{L}{X7A71C1A57A6E9C58}{}
 {
-  
+
 \section{\textcolor{Chapter }{Constructing a GIS}}\label{Chapter_GIS_Section_Constructing_a_GIS}
 \logpage{[ 1, 1, 0 ]}
 \hyperdef{L}{X7A7DE14E85CFF3B5}{}
 {
-  
+
 
 \subsection{\textcolor{Chapter }{GIS (for IsMusicalSpace, IsGroup, IsFunction)}}
 \logpage{[ 1, 1, 1 ]}\nobreak
@@ -149,12 +149,12 @@ \subsection{\textcolor{Chapter }{GIS (for IsMusicalSpace, IsGroup, IsFunction)}}
 
  }
 
- 
+
 \section{\textcolor{Chapter }{Computing intervals}}\label{Chapter_GIS_Section_Computing_intervals}
 \logpage{[ 1, 2, 0 ]}
 \hyperdef{L}{X7EE143D97BE322B4}{}
 {
-  
+
 
 \subsection{\textcolor{Chapter }{GISInt (for IsGIS, IsObject, IsObject)}}
 \logpage{[ 1, 2, 1 ]}\nobreak
@@ -168,12 +168,12 @@ \subsection{\textcolor{Chapter }{GISInt (for IsGIS, IsObject, IsObject)}}
 
  }
 
- 
+
 \section{\textcolor{Chapter }{Predefined GIS}}\label{Chapter_GIS_Section_Predefined_GIS}
 \logpage{[ 1, 3, 0 ]}
 \hyperdef{L}{X8595FC728794EB52}{}
 {
-  
+
 
 \subsection{\textcolor{Chapter }{PSpace}}
 \logpage{[ 1, 3, 1 ]}\nobreak
@@ -185,7 +185,7 @@ \subsection{\textcolor{Chapter }{PSpace}}
 
  $(\mathbb{Z}, (\mathbb{Z},{+}), int)$ where $int{:}\mathbb{Z}{\times}\mathbb{Z}{\to}\mathbb{Z}$ and $int(s,t) = t-s$. }
 
- 
+
 
 \subsection{\textcolor{Chapter }{PCSpace}}
 \logpage{[ 1, 3, 2 ]}\nobreak

docs/lefttoc.css

@@ -1,17 +1,16 @@
 /* leftmenu.css                                              Frank Lübeck */
 /* Change default CSS to show section menu on left side */
 
-body { 
+body {
   padding-left: 28%;
 }
 body.chap0 {
   padding-left: 2%;
 }
 div.ChapSects div.ContSect:hover div.ContSSBlock {
   left: 15%;
-} 
+}
 div.ChapSects {
   left: 1%;
   width: 25%;
 }
-