diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml
index fe42b2a1dc7b85af4ec8cee548048af2f3843c6a..19428acddec4b510d4274d03eba54bd8d0bbfda6 100644
--- a/de.prob.ui/plugin.xml
+++ b/de.prob.ui/plugin.xml
@@ -71,13 +71,6 @@
             name="History"
             restorable="true">
       </view>
-      <view
-            category="de.hhu.stups.prob"
-            class="de.prob.ui.ticket.LogView"
-            id="de.prob.ui.log"
-            name="ProB Log View"
-            restorable="true">
-      </view>
       <view
             category="de.hhu.stups.prob"
             class="de.prob.ui.ltl.CounterExampleViewPart"
diff --git a/de.prob.ui/src/de/prob/ui/ticket/LogView.java b/de.prob.ui/src/de/prob/ui/ticket/LogView.java
deleted file mode 100644
index dd46ac764ed84884f284153e754aaa7fdba6e796..0000000000000000000000000000000000000000
--- a/de.prob.ui/src/de/prob/ui/ticket/LogView.java
+++ /dev/null
@@ -1,42 +0,0 @@
-/** 
- * (c) 2009 Lehrstuhl fuer Softwaretechnik und Programmiersprachen, 
- * Heinrich Heine Universitaet Duesseldorf
- * This software is licenced under EPL 1.0 (http://www.eclipse.org/org/documents/epl-v10.html) 
- * */
-
-package de.prob.ui.ticket;
-
-import org.eclipse.swt.SWT;
-import org.eclipse.swt.widgets.Composite;
-import org.eclipse.swt.widgets.Text;
-import org.eclipse.ui.part.ViewPart;
-
-public class LogView extends ViewPart {
-
-	private static LogView instance = new LogView();
-	private Text text;
-
-	@Override
-	public void createPartControl(final Composite parent) {
-		text = new Text(parent, SWT.WRAP | SWT.MULTI);
-	}
-
-	public static void writeToLog(final String s) {
-		if (instance != null) {
-			instance.write(s);
-		}
-	}
-
-	private synchronized void write(final String s) {
-		if (text != null) {
-			text.append(s);
-			text.append("\n");
-		}
-	}
-
-	@Override
-	public void setFocus() {
-
-	}
-
-}
diff --git a/de.prob.ui/src/de/prob/ui/ticket/ProBLogListener.java b/de.prob.ui/src/de/prob/ui/ticket/ProBLogListener.java
index c5b2118b057bf4db66427880d8cbfd079956ece5..44f5b4828d0af10d29b9efc06c096e001bcfc4ca 100644
--- a/de.prob.ui/src/de/prob/ui/ticket/ProBLogListener.java
+++ b/de.prob.ui/src/de/prob/ui/ticket/ProBLogListener.java
@@ -33,12 +33,5 @@ public final class ProBLogListener implements ILogListener {
 				}
 			});
 		}
-
-		display.asyncExec(new Runnable() {
-			public void run() {
-				LogView.writeToLog(status.getMessage());
-			}
-		});
-
 	}
 }