doc-src/System/Thy/document/Presentation.tex

--- a/doc-src/System/Thy/document/Presentation.tex	Sat Jul 28 13:29:56 2012 +0200
+++ b/doc-src/System/Thy/document/Presentation.tex	Sat Jul 28 14:52:56 2012 +0200
@@ -273,7 +273,6 @@
 The \indexdef{}{tool}{usedir}\hypertarget{tool.usedir}{\hyperlink{tool.usedir}{\mbox{\isa{\isatt{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: