From 1802029df9e5dd2effdbcabeeafc16b725e6bec6 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 bbfc22d..a5460d0 100644 --- a/README.md +++ b/README.md @@ -80,7 +80,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()