Add extra packages necessary for finite sets

GLAMS-professional-skills · Mar 12, 2024 · 12faaa4 · 12faaa4
1 parent e9e9998
commit 12faaa4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.docker/install.jl b/.docker/install.jl
@@ -1,4 +1,4 @@
 using Pkg
-packages = ["Catlab", "IJulia", "Compose"]
+packages = ["Catlab", "IJulia", "Compose", "GATlab", "DataStructures", "PrettyTables", "LaTeXStrings"]
 Pkg.add(packages)
-using Catlab, IJulia, Compose
+using Catlab, IJulia, Compose, GATlab, DataStructures, PrettyTables, LaTeXStrings