..., there is a help.txt file
(yes i now that the help file is not complete, i will update in some few days)
Edit1 : the web site will get updated in some hours, come back later if you dont found the IDE available for download on the website ;)
Edit2 (important) : at the first time you will load an (.tved) file,
right click on it ---> open with
and choose TVE-G_ide (you will found it on the desktop)