1.1 --- a/src/Tools/isac/Build_Isac.thy	Mon Jun 22 15:30:19 2015 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Thu Jun 25 11:39:47 2015 +0200
     1.3 @@ -51,6 +51,9 @@
     1.4  
     1.5     use     "print_exn_G.sml"
     1.6  *)         "Frontend/Frontend"
     1.7 +           (* the Protocol for the connection isac-java -- Isabelle/Isac is built separately:
     1.8 +              libisabelle$ /usr/local/isabisac/bin/isabelle build -D . -bv
     1.9 +           here we partly check consistency libisabelle/Isac -- Isabelle/Isac: *)
    1.10             "~/proto4/libisabelle/libisabelle/src/main/isabelle/Protocol/Protocol"
    1.11  
    1.12             "Knowledge/Build_Thydata" (*imports Isac.thy etc*)