1.1 --- a/test/Tools/isac/Frontend/interface.sml	Sun Jun 30 17:27:34 2013 +0200
     1.2 +++ b/test/Tools/isac/Frontend/interface.sml	Thu Jul 11 16:58:31 2013 +0200
     1.3 @@ -1045,7 +1045,7 @@
     1.4  val ((pt,_),_) = get_calc 1;
     1.5  val p = get_pos 1 1;
     1.6  val (Form f, tac, asms) = pt_extract (pt, p);
     1.7 -(*============ inhibit exn WN120316 ==============================================
     1.8 +(*============ inhibit exn WN120316 compare 2002--2011 ===========================
     1.9  if map term2str asms = 
    1.10   ["True |\n~ lhs ((3 + -1 * x + x ^^^ 2) * x =\n" ^
    1.11    "       1 * (9 * x + -6 * x ^^^ 2 + x ^^^ 3)) is_poly_in x", "-6 * x + 5 * x ^^^ 2 = 0", 
    1.12 @@ -1054,7 +1054,7 @@
    1.13    "9 * x + -6 * x ^^^ 2 + x ^^^ 3 ~= 0"] 
    1.14  andalso term2str f = "[-6 * x + 5 * x ^^^ 2 = 0]" andalso p = ([], Res) then ()
    1.15  else error "TODO compare 2002--2011"; (*...data during test --- x / (x ^ 2 - 6 * x + 9) - 1...*)
    1.16 -============ inhibit exn WN120316 ==============================================*)
    1.17 +============ inhibit exn WN120316 compare 2002--2011 ===========================*)
    1.18  if p = ([], Res) andalso term2str f = "[]" (*see WN120317.TODO dropped rateq*)
    1.19  andalso asms = [] (*STRANGE!, compare test --- x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 ...*)
    1.20  then () else error "rlang.sml: diff.behav. in  Schalk I s.87 Bsp 55b [x = 6 / 5]";