Hello Ricardo,
with "repository procedures" I mean procedures which are stored in the HANA repository. Only for that procedures a version management (and lifecycle management) is available. The other kind of procedures are catalog procedures which are created directly in the catalog. These should not be used anymore, because of disadvantages compared to repository procedures.
Regarding the version menu options: The described options are available at least with SPS08 (any 8x revision). To a SPS07 system I do not have access anymore.
Regards HANA Studio/Eclipse with HANA Tools: You can either use HANA Studio or a standard Eclipse installation with installed HANA Tools (HANA tools repository site to install the tools in your Eclipse installation is e.g. for Luna http://tools.hana.ondemand.com/luna). You are free what you use.
Regards,
Florian