Using DLTK plugin in ECLIPSE, offer a user friendly interface to developp TCL scripts.
Is there any extension of this package for TVF (and more for SVRF) development ?
I don't think that you can find its!(at least I have never seen its )
The color syntax exists for svrf with vim:
Maybe there is some translator of extension between VIM and eclipse.
I hope that it can help you.
Have fun with tvf!