doc-src/System/Thy/Presentation.thy

--- a/doc-src/System/Thy/Presentation.thy	Sat Jul 28 13:29:56 2012 +0200
+++ b/doc-src/System/Thy/Presentation.thy	Sat Jul 28 14:52:56 2012 +0200
@@ -259,7 +259,6 @@
   The @{tool_def usedir} utility builds object-logic images, or runs
   example sessions based on existing logics. Its usage is:
 \begin{ttbox}
-
 Usage: usedir [OPTIONS] LOGIC NAME
 
   Options are: