Spacing

1 files changed, 2 insertions, 6 deletions

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 04f62155..e0e29384 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -89,18 +89,14 @@ If in three window or multiple frame mode, display both buffers."
 ;;
 ;; Experimental: span moving functions
 (if proof-experimental-features (progn
-(define-key map [(control meta up)] 'pg-move-region-up)
-(define-key map [(control meta down)] 'pg-move-region-down)))
+      (define-key map [(control meta up)] 'pg-move-region-up)
+      (define-key map [(control meta down)] 'pg-move-region-down)))
 ;; Add the universal keys bound in all PG buffers.
 ;; C-c ` is next-error in universal-keys
 (proof-define-keys map proof-universal-keys))
 
 
 
-
-
-
-
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
 ;;; Functions to define the menus