From e761806701918f88b072ad8ba5b1bb428c56b198 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Sun, 10 Sep 2017 17:23:17 +0200 Subject: [PATCH] Groups.jl were not used in 1703.09680v1 --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index 30d7fad..906401f 100644 --- a/README.md +++ b/README.md @@ -79,7 +79,6 @@ git checkout 1703.09680v1 Unfortunately: You need to link `~/.julia/v0.5/GroupRings` to `~/.julia/v0.5/GroupAlgebras` due to change in the name of the package. Then run in `julia` ```julia -Pkg.checkout("Groups", "1703.09680v1") Pkg.checkout("GroupRings", "1703.09680v1") Pkg.checkout("PropertyT", "1703.09680v1") Pkg.resolve()