Timotei Dolean 9f9f4d8fa5 eclipse plugin: Update the manual with the new update site... ...

...and cleanup a bit the changelog

2011-08-06 21:08:04 +00:00

..

definitions.png

…

dev_manual.tex

eclipse plugin: Document the last project addition

2011-08-04 19:15:21 +00:00

install_new_software.png

…

launch_plugin.png

…

user_manual.tex

eclipse plugin: Update the manual with the new update site...

2011-08-06 21:08:04 +00:00