
diff -r 2786cc9704c8 -r 7f3760f39bdc test/Tools/isac/Test_Isac.thy
--- a/test/Tools/isac/Test_Isac.thy	Mon Sep 16 12:20:00 2013 +0200
+++ b/test/Tools/isac/Test_Isac.thy	Mon Sep 16 12:27:20 2013 +0200
@@ -155,6 +155,9 @@
 subsection {* isac on Isabelle2013 *}
 subsubsection {* Summary of development *}
 text {*
+  #
+  # Sep.13: integrated gcd_poly (functional, without Unsychronized.ref) into
+    simplification of multivariate rationals (without improving the rulesets involved).
 *}
 subsubsection {* Run tests *}
 text {*




