Index: TODO
===================================================================
diff -u -r71eb8c412adf8946fa4930dd00f27898773ae266 -r85ee1fdb043ed3f82fd272cc004c476c40861fdb
--- TODO	(.../TODO)	(revision 71eb8c412adf8946fa4930dd00f27898773ae266)
+++ TODO	(.../TODO)	(revision 85ee1fdb043ed3f82fd272cc004c476c40861fdb)
@@ -5020,10 +5020,15 @@
 - extend regression test
 - added more test cases for multiplicity and incremental
 - preserve lower bound of multiplicity when incemental is added
+- added log-level Info which prints always, e.g. for "-verbose" flag
+  of forwarder
 
 ========================================================================
 TODO:
 
+- nsf.c: finish forwarder error messages
+- finish nx-property reform
+
 - -incremental: setting incremental will promote a property/variable
    from a non-multivalued one to a multivalued one ->
    i.e., it becomes 0..*  unconditionally