1.1 --- a/src/Tools/isac/Interpret/mathengine.sml	Sat Aug 27 09:40:52 2016 +0200
     1.2 +++ b/src/Tools/isac/Interpret/mathengine.sml	Sat Aug 27 10:38:26 2016 +0200
     1.3 @@ -199,7 +199,8 @@
     1.4  		        in ("ok", (tacis, c', (pt', p'))) end
     1.5  	        else (case (if member op = [Pbl,Met] p_
     1.6  		                  then nxt_specify_ (pt,ip) else nxt_solve_ (pt,ip))
     1.7 -		                  handle _ => ([],[],ptp)(*e.g. Add_Given "equality///"*) of
     1.8 +		                  handle ERROR msg => (writeln ("*** " ^ msg);
     1.9 +		                    ([],[],ptp))(*e.g. Add_Given "equality///"*) of
    1.10  		              cs as ([],_,_) => ("helpless", cs)
    1.11  		            | cs => ("ok", cs))
    1.12  	    | _ => (case pIopt of
    1.13 @@ -210,7 +211,8 @@
    1.14  			                        (*^^^^^^^^: Apply_Method without init_form*)
    1.15  			                 then nxt_specify_ (pt, ip) 
    1.16                         else nxt_solve_ (pt,ip) )
    1.17 -			                handle _ => ([],[],ptp)(*e.g.by Add_Giv"equality///"*) of
    1.18 +		                  handle ERROR msg => (writeln ("*** " ^ msg);
    1.19 +		                    ([],[],ptp))(*e.g. Add_Given "equality///"*) of
    1.20  		               cs as ([],_,_) =>("helpless", cs)(*FIXXMEdel.handle*)
    1.21  			           | cs => ("ok", cs)))
    1.22    end;