Timotei Dolean f4499ad5c9 eclipse plugin: Update the manual to reflect the latest commits

2011-07-30 08:00:01 +00:00

..

definitions.png

…

dev_manual.tex

eclipse plugin: Document the process necessary for running the test suite.

2011-07-26 15:43:47 +00:00

install_new_software.png

…

launch_plugin.png

…

user_manual.tex

eclipse plugin: Update the manual to reflect the latest commits

2011-07-30 08:00:01 +00:00