From ee91c3f2f1dd5f2f731db385134f38726b37b7ca Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 10 Sep 2009 23:04:40 +0000 Subject: Experimental changes to queue several commands at once and to allow pre-processing of commands when they're queued from script --- isar/isar-unicode-tokens.el | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'isar/isar-unicode-tokens.el') diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index c1e7f3aa..7eda6ae3 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -15,9 +15,8 @@ (require 'cl) ; for-loop (eval-when (compile) - (require 'unicode-tokens)) ; it's loaded dynamically at runtime - -(require 'proof-unicode-tokens) + (require 'unicode-tokens) ; it's loaded dynamically at runtime + (require 'proof-unicode-tokens)) ; that file loads us at runtime ;; ;; Customization -- cgit v1.2.3