diff options
| author | David Aspinall | 2009-09-07 08:57:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-07 08:57:02 +0000 |
| commit | 099e44384f46151bd71760820b3cbf431690e356 (patch) | |
| tree | b51770bcae53255abf78c992320751087be4fbef | |
| parent | 32c317ac9bf24207ee55a854ea4739bebbafc08e (diff) | |
Remove \t in \<module> expansion.
| -rw-r--r-- | isar/isar-unicode-tokens.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 413c1d0d..02423ca3 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -1,7 +1,7 @@ ;;; -*- coding: utf-8; -*- ;; isar-unicode-tokens.el --- Tokens for Unicode Tokens package ;; -;; Copyright(C) 2008 David Aspinall / LFCS Edinburgh +;; Copyright(C) 2008, 2009 David Aspinall / LFCS Edinburgh ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> ;; ;; This file is loaded by proof-auxmodes.el for proof-unicode-tokens.el. @@ -341,7 +341,7 @@ ("cedilla" "¸") ("hungarumlaut" "ʺ") ("spacespace" " ") ;; two #x002001 - ("module" "\t⟨module⟩" bold) + ("module" "⟨module⟩" bold) ("some" "ϵ")) "Symbol token map for Isabelle. The standard set of Isabelle symbols." :type 'unicode-tokens-token-symbol-map |