#built-in components
src/Tools/Demo
src/Tools/Find_Facts
src/Tools/jEdit
src/Tools/GraphBrowser
src/Tools/Graphview
src/Tools/Setup
src/Tools/VSCode
src/HOL/Mutabelle
src/HOL/Library/Sum_of_Squares
src/HOL/SPARK
src/HOL/Tools
src/HOL/TPTP
#bundled components
#bundled:gnu-utils-20211030
#bundled:bash_process-20240326
#bundled:bib2xhtml-20190409
#bundled:csdp-6.1.1-1
#bundled:cvc5-1.2.0-1
#bundled:e-3.2
#bundled:elm-0.19.1
#bundled:easychair-3.5
#bundled:eptcs-1.7.0
#bundled:find_facts_web-20251022
#bundled:flatlaf-3.6.2
#bundled:foiltex-2.1.4b
#bundled:isabelle_fonts-20241227
#bundled:isabelle_setup-20250613
#bundled:javamail-20251022
#bundled:jdk-21.0.9
#bundled:jedit-20251128
#bundled:jfreechart-1.5.3
#bundled:jortho-1.0-2
#bundled:jsoup-1.21.2
#bundled:jsvg-2.0.0
#bundled:kodkodi-1.5.7
#bundled:lipics-3.1.3-1
#bundled:llncs-2.25
#bundled:minisat-2.2.1-2
#bundled:mlton-20241230-1
#bundled:nunchaku-0.5
#bundled:opam-2.0.7
#bundled:pdfjs-5.4.394
#bundled:polyml-5.9.2-2
#bundled:postgresql-42.7.8
#bundled:prismjs-1.30.0
#bundled:rsync-3.2.7-1
#bundled:scala-3.3.4
#bundled:smbc-0.4.1
#bundled:solr-9.9.0
#bundled:spass-3.8ds-2
#bundled:sqlite-3.51.0.0
#bundled:stack-2.15.7
#bundled:vampire-4.8
#bundled:verit-2021.06.2-rmx-3
#bundled:vscode_extension-20251205
#bundled:vscodium-1.105.17075
#bundled:xz-java-1.10
#bundled:z3-4.4.0pre-4
#bundled:zipperposition-2.1-1
#bundled:zstd-jni-1.5.7-6
#bundled:naproche-20251110
#bundled-linux:Isabelle_app-20210126
#bundled-linux_arm:Isabelle_app-20210126
#bundled-windows:sumatra_pdf-3.5.2
#bundled-windows:cygwin-20251103
#bundled-windows:windows_app-20250315
#bundled-macos:Isabelle_app-20210126
