1.1 --- a/ROOTS	Thu Sep 24 15:48:52 2020 +0200
     1.2 +++ b/ROOTS	Fri Sep 25 10:15:33 2020 +0200
     1.3 @@ -10,3 +10,5 @@
     1.4  src/Sequents
     1.5  src/Doc
     1.6  src/Tools
     1.7 +src/Tools/isac
     1.8 +test/Tools/isac/ADDTESTS/session-get_theory/