| 
					
				 | 
			
			
				@@ -4124,7 +4124,7 @@ to execute outside of tables." 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 	 '(arg) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 	 (concat "In tables, run `" (symbol-name fun) "'.\n" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 		 "Outside of tables, run the binding of `" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-		 (mapconcat (lambda (x) (format "%s" x)) keys "' or `") 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+		 (mapconcat #'key-description keys "' or `") 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 		 "'.") 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 	 '(interactive "p") 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 	 (list 'if 
			 |