1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Aug 14 14:05:40 2013 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Aug 14 14:32:18 2013 +0200
     1.3 @@ -33,6 +33,10 @@
     1.4    "~~/src/Tools/isac/Knowledge/GCD_Poly"    (*not imported by Isac.thy*)
     1.5    "~~/src/Tools/isac/Knowledge/GCD_Poly_FP" (*not imported by Isac.thy*)
     1.6  
     1.7 +(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
     1.8 +(* !!!!! wait a minute until Isac and the above theories are loaded !!!!! *)
     1.9 +(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
    1.10 +
    1.11  begin
    1.12  section {* test ML Code of isac *}
    1.13    ML {*"%%%%%%%%%%%%%%%%% start ProgLang.thy %%%%%%%%%%%%%%%%%%%";*}
    1.14 @@ -168,6 +172,13 @@
    1.15  *}
    1.16  subsubsection {* Changesets of begin and end *}
    1.17  text {*
    1.18 +  TODO
    1.19 +  :
    1.20 +  : isac on Isablle2013 
    1.21 +  :
    1.22 +  Changeset: 52061 (4ecea2fcdc2c) --- Build_Isac.thy runs on Isabelle2013
    1.23 +  User: Walther Neuper <neuper@ist.tugraz.at>
    1.24 +  Date: 2013-07-15 08:28:50 +0200 (4 weeks)
    1.25  *}
    1.26  
    1.27  subsection {* isac on Isabelle2012 *}
    1.28 @@ -203,8 +214,10 @@
    1.29    Some tests have been re-activated (e.g. error patterns, fill patterns).
    1.30  *}
    1.31  subsubsection {* Changesets of begin and end *}
    1.32 -text {*
    1.33 -  TODO
    1.34 +text {*  
    1.35 +  Changeset: 52051 (35751d90365e) end of improving tests for isac on Isabelle2012
    1.36 +  User: Walther Neuper <neuper@ist.tugraz.at>
    1.37 +  Date: 2013-07-11 16:58:31 +0200 (4 weeks)
    1.38    :
    1.39    : isac on Isablle2012 
    1.40    :