1.1 --- a/src/Tools/isac/ROOT	Thu Jan 21 17:29:33 2016 +0100
     1.2 +++ b/src/Tools/isac/ROOT	Fri Jan 22 15:53:13 2016 +0100
     1.3 @@ -35,4 +35,4 @@
     1.4      For installation see http://www.ist.tugraz.at/isac
     1.5    *}
     1.6    options [document = false (*, browser_info = true*)]
     1.7 -  theories Build_Isac "~~/libisabelle-protocol/isabelle-2015/Protocol"
     1.8 +  theories Build_Isac "~~/libisabelle-protocol/isabelle/2015/Protocol" "~~/libisabelle-protocol/operations/Basic"