1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue Dec 03 18:13:31 2013 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu Dec 12 14:14:25 2013 +0100
     1.3 @@ -163,6 +163,30 @@
     1.4        with isac on Isabelle2002. !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
     1.5  *}
     1.6  
     1.7 +subsection {* isac on Isabelle2013-1 *}
     1.8 +subsubsection {* Summary of development *}
     1.9 +text {*
    1.10 +  Isabelle2013-1 was replaced within a few weeks due to problems with the document model;
    1.11 +  no significant development steps for ISAC.
    1.12 +*}
    1.13 +subsubsection {* State of tests *}
    1.14 +text {*
    1.15 +  See points in subsection "isac on Isabelle2011", "State of tests".
    1.16 +*}
    1.17 +subsubsection {* Changesets of begin and end *}
    1.18 +text {*
    1.19 +  Changeset: 55283 (d6e9a34e7142) notes for resuming work on Polynomial.thy
    1.20 +  User: Walther Neuper <neuper@ist.tugraz.at>
    1.21 +  Date: 2013-12-03 18:13:31 +0100 (8 days)
    1.22 +  :
    1.23 +  : isac on Isablle2013-1
    1.24 +  :
    1.25 +  Changeset: 55279 (130688f277ba) Isabelle2013 --> 2013-1: Test_Isac perfect
    1.26 +  User: Walther Neuper <neuper@ist.tugraz.at>
    1.27 +  Date: 2013-11-21 18:12:17 +0100 (2 weeks)
    1.28 +
    1.29 +*}
    1.30 +
    1.31  subsection {* isac on Isabelle2013 *}
    1.32  subsubsection {* Summary of development *}
    1.33  text {*