1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Aug 22 10:19:32 2018 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Aug 22 12:47:25 2018 +0200
     1.3 @@ -255,6 +255,21 @@
     1.4  *}
     1.5  
     1.6  
     1.7 +subsection {* isac on Isabelle2017 *}
     1.8 +subsubsection {* Summary of development *}
     1.9 +text {*
    1.10 +  * Add further signatures, separate structures and cleanup respective files.
    1.11 +  * Show feasibility of moving Isac programs to partial_function, i.e. to the function package.
    1.12 +  * Clean theory dependencies.
    1.13 +  * Start preparing shift from isac-java to Isabelle/jEdit.
    1.14 +*}
    1.15 +subsubsection {* State of tests: unchanged *}
    1.16 +subsubsection {* Changesets of begin and end *}
    1.17 +text {*
    1.18 +  last changeset with Test_Isac 925fef0f4c81
    1.19 +  first changeset with Test_Isac bbb414976dfe
    1.20 +*}
    1.21 +
    1.22  subsection {* isac on Isabelle2015 *}
    1.23  subsubsection {* Summary of development *}
    1.24  text {*