From d94468a3f1fa9bb97cdb24508347396aa8564693 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Dec 1998 13:42:33 +0000
Subject: Tidied output by putting newlines before imports done message.

---
 lego/lego.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lego/lego.el b/lego/lego.el
index 47a72861..a0292bdb 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -56,7 +56,7 @@
     (lambda (cmd string)
       (setq proof-shell-delayed-output
 	    ;;FIXME: This should be displayed in the minibuffer only
-	    (cons 'insert "Imports done!"))))
+	    (cons 'insert "\n\nImports done!"))))
   "Acknowledge end of processing import declarations.")
 
 (defconst lego-process-config
-- 
cgit v1.2.3