Timotei Dolean 6e9265c5dd eclipse plugin: Update the dev manual to reflect the... ...

...latest test-related changes.

2011-09-02 18:19:23 +00:00

..

definitions.png

…

dev_manual.tex

eclipse plugin: Update the dev manual to reflect the...

2011-09-02 18:19:23 +00:00

install_new_software.png

…

launch_plugin.png

…

user_manual.tex

eclipse plugin: Get rid of the 'Reload files' menu item.

2011-08-08 21:26:39 +00:00