Merge pull request #81 from mohamed-barakat/devel

Author: mohamed-barakat

Project.toml

@@ -1,7 +1,7 @@
 name = "HomalgProject"
 uuid = "50bd374c-87b5-11e9-015a-2febe71398bd"
 authors = ["Mohamed Barakat <mohamed.barakat@uni-siegen.de>"]
-version = "1.2.0"
+version = "1.2.1"
 
 [deps]
 CapAndHomalg = "c4774649-1891-41ea-a883-87141804c57c"
@@ -11,7 +11,7 @@ Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 Singular = "bcd08a7b-43d2-5ff7-b6d4-c458787f915c"
 
 [compat]
-CapAndHomalg = "1.4"
+CapAndHomalg = "1.4.5"
 GAP = "0.7, 0.8"
 Singular = "0.8, 0.9, 0.10, 0.11"
 julia = "1.6, 1.7"

src/HomalgProject.jl

@@ -81,14 +81,14 @@ import CapAndHomalg:
     HomalgMatrix, RepresentationCategoryObject, SizeScreen, SIZE_SCREEN_ORIGINAL, SINGULAR_BINARY_PATHS, SINGULAR_LIBRARY_PATHS, UseSystemSingular, ≟,
     DownloadPackageFromHomalgProject, UpdatePackageFromHomalgProject, RemovePackageFromHomalgProject,
     DownloadAllPackagesFromHomalgProject, UpdateAllPackagesFromHomalgProject, RemoveAllPackagesFromHomalgProject, RemoveDeprecatedPackagesFromHomalgProject,
-    CompilePackagesForHomalgProject, HOMALG_PATHS
+    CompilePackagesForHomalgProject, HOMALG_PATHS, Display, InfoOfInstalledOperationsOfCategory
 
 export CapAndHomalg
 export
     HomalgMatrix, RepresentationCategoryObject, SizeScreen, SIZE_SCREEN_ORIGINAL, SINGULAR_BINARY_PATHS, SINGULAR_LIBRARY_PATHS, UseSystemSingular, ≟,
     DownloadPackageFromHomalgProject, UpdatePackageFromHomalgProject, RemovePackageFromHomalgProject,
     DownloadAllPackagesFromHomalgProject, UpdateAllPackagesFromHomalgProject, RemoveAllPackagesFromHomalgProject, RemoveDeprecatedPackagesFromHomalgProject,
-    CompilePackagesForHomalgProject, HOMALG_PATHS
+    CompilePackagesForHomalgProject, HOMALG_PATHS, Display, InfoOfInstalledOperationsOfCategory
 
 global HOMALG_PROJECT_PATH = dirname(@__DIR__)