diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 23:04:40 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 23:04:40 +0000 |
| commit | ee91c3f2f1dd5f2f731db385134f38726b37b7ca (patch) | |
| tree | d9cb381181a462fdbfab57f7e1f0d4e67ce567b2 /isar/isar-unicode-tokens.el | |
| parent | a060c0dc046e526f8bf88b512e3c7c27e93421f8 (diff) | |
Experimental changes to queue several commands at once and to allow pre-processing of commands when they're queued from script
Diffstat (limited to 'isar/isar-unicode-tokens.el')
| -rw-r--r-- | isar/isar-unicode-tokens.el | 5 |
1 files changed, 2 insertions, 3 deletions
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 |