1.1 --- a/src/Tools/isac/Examples/README	Thu Oct 22 16:19:28 2020 +0200
     1.2 +++ b/src/Tools/isac/Examples/README	Thu Oct 22 16:26:45 2020 +0200
     1.3 @@ -5,6 +5,7 @@
     1.4  *.html copied from ~/proto4/kbase/exp
     1.5  
     1.6    exp_Statics_Biegel_Timischl_7-70.html generated from *.xml in Isac-Java
     1.7 -! exp_Statics_Biegel_Timischl_7-70.sml  Formalise.T list to start calculation
     1.8 +! exp_Statics_Biegel_Timischl_7-70.sml  Formalise.T list to start calculation,
     1.9 +                                        see ~~/test/Tools/isac/Knowledge/biegelinie-4.sml
    1.10    exp_Statics_Biegel_Timischl_7-70.xml  generates *.html for browsing
    1.11    README                                this