1.1 --- a/ROOTS	Thu Jan 18 15:17:59 2018 +0100
     1.2 +++ b/ROOTS	Fri Jan 19 12:49:17 2018 +0100
     1.3 @@ -10,5 +10,4 @@
     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/
     1.9 +