1.1 --- a/etc/components	Tue Apr 13 14:07:17 2021 +0200
     1.2 +++ b/etc/components	Fri Apr 16 22:13:43 2021 +0200
     1.3 @@ -37,3 +37,6 @@
     1.4  contrib/z3-4.4.0pre-3
     1.5  contrib/zipperposition-2.0-1
     1.6  contrib/naproche-755224402e36
     1.7 +#ISAC components
     1.8 +src/Tools/isac
     1.9 +test/Tools/isac