6 files changed, 9 insertions, 9 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el
index 90430f73..ba8d1f05 100644
--- a/generic/proof-autoloads.el
+++ b/generic/proof-autoloads.el
@@ -7,7 +7,7 @@
 (eval-when-compile
   (require 'cl))
 
-(eval-when (compile)
+(eval-when-compile
   (require 'pg-vars)
   (require 'proof-config)
   (require 'scomint))
diff --git a/generic/proof-maths-menu.el b/generic/proof-maths-menu.el
index ded6568a..57fafa98 100644
--- a/generic/proof-maths-menu.el
+++ b/generic/proof-maths-menu.el
@@ -23,7 +23,7 @@
 (eval-when-compile
   (require 'cl))
 
-(eval-when (compile)
+(eval-when-compile
   (require 'proof-auxmodes)	  ; loaded by proof.el
   (require 'maths-menu))	  ; loaded dynamically in proof-auxmodes
 
diff --git a/generic/proof-mmm.el b/generic/proof-mmm.el
index b450f20c..5d904ce3 100644
--- a/generic/proof-mmm.el
+++ b/generic/proof-mmm.el
@@ -28,7 +28,7 @@
 (eval-when-compile
   (require 'cl))
 
-(eval-when (compile)
+(eval-when-compile
   (require 'proof-auxmodes)	  ; will be loaded
   (require 'mmm-auto))		  ; loaded dynamically by proof-auxmodes
 
diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index f79b78c2..7d3fe5b9 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -27,7 +27,7 @@
 (declare-function proof-tree-urgent-action "proof-tree" (flags))
 (declare-function proof-tree-handle-delayed-output "proof-tree"
 		  (old-proof-marker cmd flags span))
-(eval-when (compile)
+(eval-when-compile
   ;; without the nil initialization the compiler still warns about this variable
   (defvar proof-tree-external-display nil))
 
diff --git a/generic/proof-tree.el b/generic/proof-tree.el
index f0894656..438c035e 100644
--- a/generic/proof-tree.el
+++ b/generic/proof-tree.el
@@ -88,7 +88,7 @@
 
 (require 'cl)
 
-(eval-when (compile)
+(eval-when-compile
   (require 'proof-shell))
 
 
diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el
index 3f9f0199..0352f012 100644
--- a/generic/proof-unicode-tokens.el
+++ b/generic/proof-unicode-tokens.el
@@ -21,10 +21,10 @@
 (eval-when-compile
   (require 'cl))
 
-(eval-when (compile)
-    (require 'scomint)
-    (require 'proof-auxmodes)	 ; loaded by proof.el, autoloads us
-    (require 'unicode-tokens))	 ; it will be loaded by proof-auxmodes
+(eval-when-compile
+  (require 'scomint)
+  (require 'proof-auxmodes)	 ; loaded by proof.el, autoloads us
+  (require 'unicode-tokens))	 ; it will be loaded by proof-auxmodes
 
 (require 'proof-config)			; config variables