From 7e3b1ca2dc1d94df5a4e6184ea0593b80a765f48 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jan 2008 12:10:12 +0000
Subject: Add shortcuts for tokens.

---
 generic/proof-unicode-tokens.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el
index 7c1b09b2..95c4b691 100644
--- a/generic/proof-unicode-tokens.el
+++ b/generic/proof-unicode-tokens.el
@@ -41,7 +41,8 @@
      token-match
      hexcode-match
      token-prefix
-     token-suffix))
+     token-suffix
+     shortcut-alist))
   (unicode-tokens-initialise)
   (setq proof-unicode-tokens-initialised t))
   
-- 
cgit v1.2.3