1.1 --- a/src/Tools/isac/Specify/model.sml	Sun May 10 13:16:56 2020 +0200
     1.2 +++ b/src/Tools/isac/Specify/model.sml	Sun May 10 15:55:30 2020 +0200
     1.3 @@ -35,10 +35,10 @@
     1.4    (1.1) untouched: for modeling only dsc displayed(impossible after match_itms)
     1.5          =(presently) Mis (? should be Inc initially, and Mis after match_itms?)
     1.6    (1.2)  Syn,Typ,Sup: not related to oris
     1.7 -    Syn, Typ (presently) should be accepted in I_Model.add_single (instead Error')
     1.8 -    Sup      (presently) should be accepted in I_Model.add_single (instead Error')
     1.9 +    Syn, Typ (presently) should be accepted in I_Model.check_single (instead Error')
    1.10 +    Sup      (presently) should be accepted in I_Model.check_single (instead Error')
    1.11           _could_ be w.r.t current vat (and then _is_ related to vat
    1.12 -    Mis should _not_ be  made Inc ((presently, by I_Model.add_single & match_itms)
    1.13 +    Mis should _not_ be  made Inc ((presently, by I_Model.check_single & match_itms)
    1.14  - dsc in I_Model.feedback is timeconsuming -- keep id for respective queries ?
    1.15  - order of items in ppc should be stable w.r.t order of itms
    1.16