Update website for Toposes 2024.09-01

homalg-project · Sep 6, 2024 · 96b2cf7 · 96b2cf7
1 parent 544e985
commit 96b2cf7
Show file tree

Hide file tree

Showing 5 changed files with 22 additions and 22 deletions.
diff --git a/Toposes/PackageInfo.g b/Toposes/PackageInfo.g
@@ -10,9 +10,9 @@ SetPackageInfo( rec(
 
 PackageName := "Toposes",
 Subtitle := "Elementary toposes",
-Version := "2024.06-03",
-Date := "2024-07-01",
-Date := "2024-07-01",
+Version := "2024.09-01",
+Date := "2024-09-06",
+Date := "2024-09-06",
 License := "GPL-2.0-or-later",
 
 Persons := [
@@ -113,7 +113,7 @@ Dependencies := rec(
   GAP := ">= 4.13.0",
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
-                   [ "CAP", ">= 2023.12-14" ],
+                   [ "CAP", ">= 2024.09-05" ],
                    [ "CartesianCategories", ">= 2024.06-01" ],
                    ],
   SuggestedOtherPackages := [

diff --git a/Toposes/doc/chap0.html b/Toposes/doc/chap0.html
@@ -29,10 +29,10 @@ <h1>Toposes</h1>
 <h2>Elementary toposes</h2>
 
 <p>
-    2024.06-03</p>
+    2024.09-01</p>
 
 <p>
-    1 July 2024
+    6 September 2024
   </p>
 
 </div>

diff --git a/Toposes/doc/chap0.txt b/Toposes/doc/chap0.txt
@@ -6,10 +6,10 @@
                               [1X Elementary toposes [101X
 
 
-                                   2024.06-03
+                                   2024.09-01
 
 
-                                  1 July 2024
+                                6 September 2024
 
 
                                 Mohamed Barakat

diff --git a/Toposes/doc/chap0_mj.html b/Toposes/doc/chap0_mj.html
@@ -32,10 +32,10 @@ <h1>Toposes</h1>
 <h2>Elementary toposes</h2>
 
 <p>
-    2024.06-03</p>
+    2024.09-01</p>
 
 <p>
-    1 July 2024
+    6 September 2024
   </p>
 
 </div>

diff --git a/_data/Toposes.yml b/_data/Toposes.yml
@@ -1,7 +1,7 @@
 name: Toposes
-version: "2024.06-03"
+version: "2024.09-01"
 license: "GPL-2.0-or-later"
-date: 2024-07-01
+date: 2024-09-06
 description: |
     Elementary toposes
 
@@ -32,7 +32,7 @@ needed-pkgs:
       version: ">= 1.5"
       url: "https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc"
     - name: "CAP"
-      version: ">= 2023.12-14"
+      version: ">= 2024.09-05"
       url: "https://homalg-project.github.io/pkg/CAP"
     - name: "CartesianCategories"
       version: ">= 2024.06-01"
@@ -52,11 +52,11 @@ packageinfo: https://homalg-project.github.io/CategoricalTowers/Toposes/PackageI
 
 downloads:
     - name: .tar.gz
-      url: https://github.com/homalg-project/CategoricalTowers/releases/download/Toposes-2024.06-03/Toposes-2024.06-03.tar.gz
+      url: https://github.com/homalg-project/CategoricalTowers/releases/download/Toposes-2024.09-01/Toposes-2024.09-01.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/CategoricalTowers/releases/download/Toposes-2024.06-03/Toposes-2024.06-03.zip
+      url: https://github.com/homalg-project/CategoricalTowers/releases/download/Toposes-2024.09-01/Toposes-2024.09-01.zip
 
-pdf: https://github.com/homalg-project/CategoricalTowers/releases/download/Toposes-2024.06-03/Toposes-2024.06-03-manual.pdf
+pdf: https://github.com/homalg-project/CategoricalTowers/releases/download/Toposes-2024.09-01/Toposes-2024.09-01-manual.pdf
 
 abstract: |
 
@@ -67,10 +67,10 @@ keywords: |
     elementary toposes.
 citeas: |
     <p class='BibEntry'>
-    [<span class='BibKey'>BZRK01</span>]   <b class='BibAuthor'>Barakat, M., Zickgraf, F., Román, M. and Kuhmichel, T.</b>,
+    [<span class='BibKey'>BZRK06</span>]   <b class='BibAuthor'>Barakat, M., Zickgraf, F., Román, M. and Kuhmichel, T.</b>,
      <i class='BibTitle'>Toposes, Elementary toposes,
-             Version 2024.06-03</i>
-     (<span class='BibYear'>7-01</span>)<br />
+             Version 2024.09-01</i>
+     (<span class='BibYear'>9-06</span>)<br />
     (<span class='BibNote'>GAP package</span>),
     <span class='BibHowpublished'><a href="https://homalg-project.github.io/pkg/Toposes">https://homalg-project.github.io/pkg/Toposes</a></span>.
     </p>
@@ -81,15 +81,15 @@ bibtex: |
       author =           {Barakat,  M.  and  Zickgraf, F. and Rom{\a'a}n, M. and
                           Kuhmichel, T.},
       title =            {{Toposes},      Elementary      toposes,     {V}ersion
-                          2024.06\texttt{\symbol{45}}03},
+                          2024.09\texttt{\symbol{45}}01},
       month =            {4\texttt{\symbol{45}}},
-      year =             {7\texttt{\symbol{45}}01},
+      year =             {9\texttt{\symbol{45}}06},
       note =             {GAP package},
       howpublished =     {\href   {https://homalg-project.github.io/pkg/Toposes}
                           {\texttt{https://homalg\texttt{\symbol{45}}project.github.io/}\discretionary
                           {}{}{}\texttt{pkg/}\discretionary
                           {}{}{}\texttt{Toposes}}},
       keywords =         {elementary toposes},
-      printedkey =       {BZRK01}
+      printedkey =       {BZRK06}
     }