+−#hard-wired components +−src/Tools/jEdit +−src/Tools/Graphview +−src/Tools/VSCode +−src/HOL/Mirabelle +−src/HOL/Mutabelle +−src/HOL/Library/Sum_of_Squares +−src/HOL/SPARK +−src/HOL/Tools +−src/HOL/Tools/ATP +−src/HOL/TPTP