Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
README_WN
author Walther Neuper <walther.neuper@jku.at>
Wed, 11 Mar 2020 15:25:52 +0100
changeset 59827 168abe8dd1e3
parent 59451 71b442e82416
permissions -rw-r--r--
start formally checked documentation with Lucas_Interpreter

note: the text is a partial copy from the IJCAR/ThEdu'20 paper
wneuper@59451 
     1
 
# moved isabisac --> isabisac17, rebuilt and tested OK.
wneuper@59320 
     2
 
# test-setup according to ~~/test/Tools/isac/Test_Isac.thy
wneuper@59320 
     3
 
    xcoding-to-test.sh  # extend signatures for tests
wneuper@59320 
     4
 
    zcoding-to-test.sh  # -"- + go back to Test_Isac.thy
wneuper@59320 
     5
wneuper@59320 
     6
 
    xtest-to-coding.sh  # clean signatures for coding
wneuper@59320 
     7
 
    ztest-to-coding.sh  # -"- + go back to coding (!update thy!)
wneuper/isa