1.1 --- a/src/Tools/isac/Interpret/mathengine.sml	Wed Jul 13 10:41:17 2011 +0200
     1.2 +++ b/src/Tools/isac/Interpret/mathengine.sml	Thu Jul 14 09:33:57 2011 +0200
     1.3 @@ -230,7 +230,7 @@
     1.4  	 in if str = "ok" 
     1.5  	    then autocalc (c@c') p (ptp,[]) (Step (s-1))
     1.6  	    else (str, c@c', ptp) end
     1.7 -(*handles autoord <= 3, autoord > 3 handled by all_/complete_solve*)
     1.8 +(* handles autoord <= 3, autoord > 3 handled by all_/complete_solve *)
     1.9    | autocalc c (pos as (_,p_)) ((pt,_), _(*tacis would help 1x in solve*))auto =
    1.10       if autoord auto > 3 andalso just_created (pt, pos)
    1.11       then let val ptp = all_modspec (pt, pos);