Console Output

+ bin/isabelle components -a
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/jedit-20211019"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/polyml-5.9-960de0cd0795"
Getting "https://isabelle.sketis.net/components/jedit-20211019.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/jedit-20211019.tar.gz"
Getting "https://isabelle.sketis.net/components/polyml-5.9-960de0cd0795.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/polyml-5.9-960de0cd0795.tar.gz"