Installing external plug-ins manually: Revision history

10 September 2008

• curprev 20:2820:28, 10 September 2008‎ imported>Mathieu‎ m 3,963 bytes −2‎ Robot: Changing Category:User Documentation
• curprev 20:0020:00, 10 September 2008‎ imported>Mathieu‎ m 3,965 bytes +29‎ No edit summary
• curprev 19:5819:58, 10 September 2008‎ imported>Mathieu‎ m 3,936 bytes +13‎ {{TOCright}}

5 July 2008

• curprev 07:5707:57, 5 July 2008‎ imported>Mathieu‎ m 3,923 bytes +54‎ Categories

1 July 2008

• curprev 13:1513:15, 1 July 2008‎ imported>Laurent‎ 3,869 bytes +2,368‎ No edit summary
• curprev 12:5612:56, 1 July 2008‎ imported>Laurent‎ 1,501 bytes +875‎ No edit summary

13 June 2008

• curprev 13:5313:53, 13 June 2008‎ imported>Laurent‎ 626 bytes +626‎ New page: Although it is preferred to install additional plug-ins into the Rodin platform using the '''Update Manager''' of Eclipse, this might not always be practical. In this case, a manner to in...