1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Sep 16 12:20:00 2013 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Mon Sep 16 12:27:20 2013 +0200
     1.3 @@ -155,6 +155,9 @@
     1.4  subsection {* isac on Isabelle2013 *}
     1.5  subsubsection {* Summary of development *}
     1.6  text {*
     1.7 +  #
     1.8 +  # Sep.13: integrated gcd_poly (functional, without Unsychronized.ref) into
     1.9 +    simplification of multivariate rationals (without improving the rulesets involved).
    1.10  *}
    1.11  subsubsection {* Run tests *}
    1.12  text {*