X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FNON_VA;fp=helm%2Finterface%2FNON_VA;h=0000000000000000000000000000000000000000;hb=fa11ed6dc134f8ad3421c37a97271018e075bbed;hp=3754471031aacbe11dac78e135f8cd63642d7632;hpb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;p=helm.git

diff --git a/helm/interface/NON_VA b/helm/interface/NON_VA
deleted file mode 100644
index 375447103..000000000
--- a/helm/interface/NON_VA
+++ /dev/null
@@ -1,29 +0,0 @@
-
- ***********************************************************************
-
-                         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
-