# HG changeset patch
# User wenzelm
# Date 1396547393 -7200
# Node ID b33df983785074e262ba8e5767dc68d8a36e8a72
# Parent  8185044353fd2ab744353e45dc811cc46341364f
slightly more readable protocol trace (NB1: prover input is always marked as <prover_command/>; NB2: adding indentation would invalidate the XML);

diff -r 8185044353fd -r b33df9837850 src/Tools/jEdit/src/protocol_dockable.scala
--- a/src/Tools/jEdit/src/protocol_dockable.scala	Thu Apr 03 19:26:39 2014 +0200
+++ b/src/Tools/jEdit/src/protocol_dockable.scala	Thu Apr 03 19:49:53 2014 +0200
@@ -27,10 +27,10 @@
     loop {
       react {
         case input: Prover.Input =>
-          Swing_Thread.later { text_area.append(input.toString + "\n") }
+          Swing_Thread.later { text_area.append(input.toString + "\n\n") }
 
         case output: Prover.Output =>
-          Swing_Thread.later { text_area.append(output.message.toString + "\n") }
+          Swing_Thread.later { text_area.append(output.message.toString + "\n\n") }
 
         case bad => System.err.println("Protocol_Dockable: ignoring bad message " + bad)
       }