From 9d79334d9adfffcd6abafe7315cdb5f1c074f007 Mon Sep 17 00:00:00 2001 From: Alexander Konovalov Date: Sat, 11 Feb 2017 13:43:58 +0000 Subject: [PATCH] Removed Crisp, polenta and polycycli from loaded by default --- lib/package.gi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/package.gi b/lib/package.gi index 121ebcc5eb6..d9b1ff68d87 100644 --- a/lib/package.gi +++ b/lib/package.gi @@ -1744,8 +1744,8 @@ DeclareUserPreference( rec( description:= [ "A list of names of packages which should be loaded during startup." ], - default:= [ "autpgrp", "alnuth", "crisp", "ctbllib", "factint", "fga", - "irredsol", "polenta", "polycyclic", "tomlib" ], + default:= [ "autpgrp", "alnuth", "ctbllib", "factint", "fga", + "irredsol", "tomlib" ], values:= function() return RecNames( GAPInfo.PackagesInfo ); end, multi:= true, ) );