1.1 --- a/test/Tools/isac/Test_Isac.thy	Thu Jan 05 17:43:48 2012 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Sat Jan 07 10:06:06 2012 +0100
     1.3 @@ -181,6 +181,7 @@
     1.4    ML {*"%%%%%%%%%%%%%%%%% end Knowledge.thy %%%%%%%%%%%%%%%%%%%%";*}
     1.5    ML {*"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";*}
     1.6    ML {*"%%%%%%%%%%%%%%%%% all tests successful %%%%%%%%%%%%%%%%%";*}
     1.7 +  ML {*"%%%%%%%%%%%%%%%%% if nothing is read.  %%%%%%%%%%%%%%%%%";*}
     1.8    ML {*"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";*}
     1.9  
    1.10  end