We took the integration of SmartTools in Eclipse a step further. You can edit a document in Eclipse or SmartTools way, and any modification is synchronised.
Last modified: $Date: 2008-08-12 14:49:12 +0200 (Tue, 12 Aug 2008) $