1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue Nov 19 22:23:30 2013 +0000
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Nov 20 11:01:08 2013 +0100
     1.3 @@ -182,7 +182,9 @@
     1.4  *}
     1.5  subsubsection {* Changesets of begin and end *}
     1.6  text {*
     1.7 -  TODO
     1.8 +  changeset 52174:8b055b17bd84 --- removed all code concerned with "castab = Unsynchronized.ref"
     1.9 +  User: Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at>
    1.10 +  Date: Tue Nov 19 22:23:30 2013 +0000
    1.11    :
    1.12    : isac on Isablle2013 
    1.13    :