This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / metadata / create_V7_mowgli / METADATA / README

diff --git a/helm/metadata/create_V7_mowgli/METADATA/README b/helm/metadata/create_V7_mowgli/METADATA/README
deleted file mode 100644 (file)
index 6c9fe0b..0000000
--- a/helm/metadata/create_V7_mowgli/METADATA/README
+++ /dev/null
@@ -1,9 +0,0 @@
-Note:
- - LetIn e Variabili con corpo: da pensarci (capita solamente una 30ina
-   di volte... per ora!) Per il momento ci mettiamo una pezza.
- - Variabili: non consideriamo l'occorrenza di una variabile come una
-    vera occorrenza (perche' puo' essere istanziata). In ogni caso c'e'
-    l'attributo @params che fornisce questa informazione.
- - META e IMPLICIT non trattati
- - CAST non considerati ==> di default vado in ricorsione sia sul tipo
-   che sul corpo