1.1 --- a/test/Tools/isac/Test_Isac.thy	Thu Dec 12 14:27:37 2013 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu Dec 12 14:37:15 2013 +0100
     1.3 @@ -163,6 +163,26 @@
     1.4        with isac on Isabelle2002. !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
     1.5  *}
     1.6  
     1.7 +subsection {* isac on Isabelle2013-2 *}
     1.8 +subsubsection {* Summary of development *}
     1.9 +text {*
    1.10 +  TODO
    1.11 +*}
    1.12 +subsubsection {* State of tests *}
    1.13 +text {*
    1.14 +  TODO
    1.15 +*}
    1.16 +subsubsection {* Changesets of begin and end *}
    1.17 +text {*
    1.18 +  TODO
    1.19 +  :
    1.20 +  : isac on Isablle2013-2
    1.21 +  :
    1.22 +  Changeset: 55318 (03826ceb24da) merged
    1.23 +  User: Walther Neuper <neuper@ist.tugraz.at>
    1.24 +  Date: 2013-12-12 14:27:37 +0100 (7 minutes)
    1.25 +*}
    1.26 +
    1.27  subsection {* isac on Isabelle2013-1 *}
    1.28  subsubsection {* Summary of development *}
    1.29  text {*