1.1 --- a/ROOTS	Mon Jan 04 13:10:23 2016 +0100
     1.2 +++ b/ROOTS	Tue Jan 05 11:13:20 2016 +0100
     1.3 @@ -12,3 +12,6 @@
     1.4  src/Tools
     1.5  src/Tools/isac
     1.6  test/Tools/isac/ADDTESTS/session-get_theory/
     1.7 +libisabelle-protocol/isabelle-2015/lib/classy
     1.8 +libisabelle-protocol/isabelle-2015
     1.9 +libisabelle-protocol/isabelle-common
    1.10 \ No newline at end of file

     2.1 --- a/libisabelle-protocol/ROOTS	Mon Jan 04 13:10:23 2016 +0100
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,3 +0,0 @@
     2.4 -isabelle-common
     2.5 -isabelle-2014
     2.6 -isabelle-2015

     3.1 --- a/libisabelle-protocol/isabelle-2015/ROOT	Mon Jan 04 13:10:23 2016 +0100
     3.2 +++ b/libisabelle-protocol/isabelle-2015/ROOT	Tue Jan 05 11:13:20 2016 +0100
     3.3 @@ -2,6 +2,6 @@
     3.4    theories
     3.5      Protocol
     3.6  
     3.7 -session "HOL-Protocol2015" = "HOL-Codec" +
     3.8 +session "HOL-Protocol2015" = "../isabelle-common/HOL-Codec" +
     3.9    theories
    3.10      Protocol