Initial revision

[helm.git] / helm / interface / NON_VA

diff --git a/helm/interface/NON_VA b/helm/interface/NON_VA
new file mode 100644 (file)
index 0000000..3754471
--- /dev/null
+++ b/helm/interface/NON_VA
@@ -0,0 +1,29 @@
+
+ ***********************************************************************
+
+                         A T T E N Z I O N E ! ! !
+
+ Quando si usa fix_params.opt, scrivere
+
+       find /really_very_local/helm/PARSER/examples
+
+ invece di examples
+
+ ***********************************************************************
+
+ PROBLEMA NON FIXATO CON fix_params
+
+ LA SOLUZIONE E'
+
+
+
+Correggere:
+
+ examples/coq/SETS/Powerset_facts/Sets_as_an_algebra/setcover_intro.con.xml
+
+aggiungendo paramMode="POSSIBLE"
+
+Un esempio che altrimenti non funziona e':
+
+examples/coq/SETS/Powerset_Classical_facts/Sets_as_an_algebra/Add_covers.con.xml
+