diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 08:58:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 08:58:35 +0000 |
| commit | 395342b76696f0df407bedab2624228baac9c164 (patch) | |
| tree | ebbfe6fbdc5d77f7c7d97e559898808e9734e23f /isar | |
| parent | 099e44384f46151bd71760820b3cbf431690e356 (diff) | |
Remove \t in \<inverse> expansion.
Make \<spacespace> be a single EM-DASH SPACE
Diffstat (limited to 'isar')
| -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 02423ca3..7ecc08ef 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -310,7 +310,7 @@ ("copyright" "©") ("registered" "®") ("hyphen" "‐") - ("inverse" "\t¯¹") ; X-Symb: just "¯" + ("inverse" "¯¹") ; X-Symb: just "¯" ("onesuperior" "¹") ("twosuperior" "²") ("threesuperior" "³") @@ -340,7 +340,7 @@ ("dieresis" "¨") ("cedilla" "¸") ("hungarumlaut" "ʺ") - ("spacespace" " ") ;; two #x002001 + ("spacespace" " ") ;; #x002001 ("module" "⟨module⟩" bold) ("some" "ϵ")) "Symbol token map for Isabelle. The standard set of Isabelle symbols." |