From 1168630caafce3762b9141c7f54490d5276ce86f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 31 Aug 2009 09:23:33 +0000
Subject: Add custom doc

---
 isar/isar-unicode-tokens.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index e70d2c0b..ad6353ad 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -590,6 +590,8 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >."
     ;; extra misc, switch them off if you don't like them
     ("|>" . "\<triangleright>")
     ("<|" . "\<triangleleft>"))
+  "Shortcut key sequence table for symbol tokens input.
+See `unicode-tokens-shortcut-alist'."
     :type 'unicode-tokens-shortcut-alist
     :set 'isar-set-and-restart-tokens
     :group 'isabelle
-- 
cgit v1.2.3