Merge pull request #140 from kamalsaleh/tools

Start cleaning ToolsForHigherHomologicalAlgebra
homalg-project · Feb 28, 2023 · 3992843 · 3992843
2 parents 91fab01 + 45a5fbd
commit 3992843
Show file tree

Hide file tree

Showing 12 changed files with 21 additions and 1,415 deletions.
diff --git a/ToolsForHigherHomologicalAlgebra/PackageInfo.g b/ToolsForHigherHomologicalAlgebra/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "ToolsForHigherHomologicalAlgebra",
 Subtitle := "Tools for the Higher Homological Algebra project",
-Version := "2022.12-05",
+Version := "2023.02-01",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 

diff --git a/ToolsForHigherHomologicalAlgebra/gap/CAP.gd b/ToolsForHigherHomologicalAlgebra/gap/CAP.gd
diff --git a/ToolsForHigherHomologicalAlgebra/gap/CAP.gi b/ToolsForHigherHomologicalAlgebra/gap/CAP.gi
diff --git a/ToolsForHigherHomologicalAlgebra/gap/DerivedMethods.gi b/ToolsForHigherHomologicalAlgebra/gap/DerivedMethods.gi
diff --git a/ToolsForHigherHomologicalAlgebra/gap/EnhancePackage.gd b/ToolsForHigherHomologicalAlgebra/gap/EnhancePackage.gd