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>
Tue, 15 Dec 2020 15:10:38 +0100
changeset 60132 2f94484d6637
parent 59451 71b442e82416
permissions -rw-r--r--
step 4: use Naproche as a model for checking input

note: ParseC.problem (without "Problem") replaced ParseC.problem_headline
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