1. 2be84c1 General update for the user guide: by Stephan Herrmann · 11 years ago
  2. 8740b76 fix patch to ot_paragraph (probably broke during the plug-in split). by Stephan Herrmann · 11 years ago
  3. 395cc71 Bug 349242 - [help] split otdt.ui.help plug-in by Stephan Herrmann · 11 years ago[Renamed from plugins/org.eclipse.objectteams.otdt.ui.help/guide/editor.html]
  4. 0166441 initial commit in accordance with CQ 3784 by Stephan Herrmann · 13 years ago