1#hard-wired components 2src/Tools/jEdit 3src/Tools/Graphview 4src/Tools/VSCode 5src/HOL/Mirabelle 6src/HOL/Mutabelle 7src/HOL/Library/Sum_of_Squares 8src/HOL/SPARK 9src/HOL/Tools 10src/HOL/Tools/ATP 11src/HOL/TPTP 12