Groups.jl were not used in 1703.09680v1

This commit is contained in:
kalmarek 2017-09-10 17:23:17 +02:00
parent 1bbee23758
commit e761806701

View File

@ -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()