diff options
author | Makarius Wenzel <makarius@sketis.net> | 2014-01-18 19:36:06 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2014-01-18 19:36:06 +0000 |
commit | dbcc8b4d2affaa36d3679fa180b3cf98f0472e02 (patch) | |
tree | ba97c6656ea42628efb1aac58ef47725eb98e418 /isar | |
parent | fb062727992149ba36bc926e5785e4b38f0ad4ed (diff) |
unicode tokens for \<open>, \<close>, \<newline>;
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar-unicode-tokens.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index f037a5e5..598082a1 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -353,7 +353,10 @@ ("hungarumlaut" "ʺ") ("spacespace" " ") ;; #x002001 ("module" "⟨module⟩" bold) - ("some" "ϵ")) + ("some" "ϵ") + ("open" "‹") + ("close" "›") + ("newline" "⏎")) "Symbol token map for Isabelle. The standard set of Isabelle symbols." :type 'unicode-tokens-token-symbol-map :group 'isabelle-tokens |