Available components:
  /home/tsewell/dev/ts-isabelle
  /home/tsewell/dev/ts-isabelle/src/Tools/jEdit
  /home/tsewell/dev/ts-isabelle/src/Tools/Graphview
  /home/tsewell/dev/ts-isabelle/src/Tools/VSCode
  /home/tsewell/dev/ts-isabelle/src/HOL/Mirabelle
  /home/tsewell/dev/ts-isabelle/src/HOL/Mutabelle
  /home/tsewell/dev/ts-isabelle/src/HOL/Library/Sum_of_Squares
  /home/tsewell/dev/ts-isabelle/src/HOL/SPARK
  /home/tsewell/dev/ts-isabelle/src/HOL/Tools
  /home/tsewell/dev/ts-isabelle/src/HOL/Tools/ATP
  /home/tsewell/dev/ts-isabelle/src/HOL/TPTP
  /home/tsewell/dev/ts-isabelle/Admin
  /home/tsewell/.isabelle
  /home/tsewell/.isabelle/contrib/bash_process-1.2.3
  /home/tsewell/.isabelle/contrib/bib2xhtml-20190409
  /home/tsewell/.isabelle/contrib/csdp-6.1-1
  /home/tsewell/.isabelle/contrib/cvc4-1.5-5
  /home/tsewell/.isabelle/contrib/e-2.0-3
  /home/tsewell/.isabelle/contrib/isabelle_fonts-20190717
  /home/tsewell/.isabelle/contrib/jdk-11.0.5+10
  /home/tsewell/.isabelle/contrib/jedit_build-20190717
  /home/tsewell/.isabelle/contrib/jfreechart-1.5.0
  /home/tsewell/.isabelle/contrib/jortho-1.0-2
  /home/tsewell/.isabelle/contrib/kodkodi-1.5.2-1
  /home/tsewell/.isabelle/contrib/nunchaku-0.5
  /home/tsewell/.isabelle/contrib/opam-2.0.6
  /home/tsewell/.isabelle/contrib/polyml-5.8.1-20200228
  /home/tsewell/.isabelle/contrib/postgresql-42.2.9
  /home/tsewell/.isabelle/contrib/scala-2.12.10
  /home/tsewell/.isabelle/contrib/smbc-0.4.1
  /home/tsewell/.isabelle/contrib/spass-3.8ds-1
  /home/tsewell/.isabelle/contrib/sqlite-jdbc-3.30.1
  /home/tsewell/.isabelle/contrib/ssh-java-20190323
  /home/tsewell/.isabelle/contrib/stack-2.1.3
  /home/tsewell/.isabelle/contrib/vampire-4.2.2
  /home/tsewell/.isabelle/contrib/xz-java-1.8
  /home/tsewell/.isabelle/contrib/z3-4.4.0pre-3
  /home/tsewell/.isabelle/contrib/cvc4-1.8

Missing components: