helm/interface/NON_VA

   1
   2  ***********************************************************************
   3
   4                          A T T E N Z I O N E ! ! !
   5
   6  Quando si usa fix_params.opt, scrivere
   7
   8        find /really_very_local/helm/PARSER/examples
   9
  10  invece di examples
  11
  12  ***********************************************************************
  13
  14  PROBLEMA NON FIXATO CON fix_params
  15
  16  LA SOLUZIONE E'
  17
  18
  19
  20 Correggere:
  21
  22  examples/coq/SETS/Powerset_facts/Sets_as_an_algebra/setcover_intro.con.xml
  23
  24 aggiungendo paramMode="POSSIBLE"
  25
  26 Un esempio che altrimenti non funziona e':
  27
  28 examples/coq/SETS/Powerset_Classical_facts/Sets_as_an_algebra/Add_covers.con.xml
  29