--- a/etc/components Thu May 13 15:52:10 2021 +0200
+++ b/etc/components Fri May 14 21:32:11 2021 +0200
@@ -2,7 +2,6 @@
src/Tools/jEdit
src/Tools/Graphview
src/Tools/VSCode
-src/HOL/Mirabelle
src/HOL/Mutabelle
src/HOL/Library/Sum_of_Squares
src/HOL/SPARK