1.1 --- a/ROOTS	Tue Apr 13 14:07:17 2021 +0200
     1.2 +++ b/ROOTS	Fri Apr 16 22:13:43 2021 +0200
     1.3 @@ -10,6 +10,3 @@
     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 -

     2.1 --- a/etc/components	Tue Apr 13 14:07:17 2021 +0200
     2.2 +++ b/etc/components	Fri Apr 16 22:13:43 2021 +0200
     2.3 @@ -37,3 +37,6 @@
     2.4  contrib/z3-4.4.0pre-3
     2.5  contrib/zipperposition-2.0-1
     2.6  contrib/naproche-755224402e36
     2.7 +#ISAC components
     2.8 +src/Tools/isac
     2.9 +test/Tools/isac

     3.1 --- a/test/Tools/isac/ADDTESTS/session-get_theory/ROOT	Tue Apr 13 14:07:17 2021 +0200
     3.2 +++ b/test/Tools/isac/ADDTESTS/session-get_theory/ROOT	Fri Apr 16 22:13:43 2021 +0200
     3.3 @@ -1,4 +1,4 @@
     3.4 -session Bar in "~~/test/Tools/isac/ADDTESTS/session-get_theory" = Pure +
     3.5 +session Bar = Pure +
     3.6    description "
     3.7      Trial to make the theory loader able to 'Thy_Info.get_theory Bar' in Foo.thy.
     3.8      This only works if ~~/ROOTS is extended by a session created with

     4.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     4.2 +++ b/test/Tools/isac/ROOTS	Fri Apr 16 22:13:43 2021 +0200
     4.3 @@ -0,0 +1,1 @@
     4.4 +ADDTESTS/session-get_theory