1.1 --- a/src/Tools/isac/ROOT	Sat Feb 06 17:20:08 2016 +0100
     1.2 +++ b/src/Tools/isac/ROOT	Wed Apr 06 16:56:47 2016 +0200
     1.3 @@ -35,4 +35,5 @@
     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" "~~/libisabelle-protocol/operations/Basic"
     1.8 +  theories Isac_Protocol 
     1.9 +    "~~/libisabelle-protocol/protocol/Protocol" "~~/libisabelle-protocol/operations/Basic"