Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviour

with cut-and-paste and when typing tokens directly.  Trac#223.

1 files changed, 120 insertions, 116 deletions

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index fa162330..2a150a4e 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -40,122 +40,126 @@
     ;; Based on isabellesym.sty,v 1.45 2006/01/05
 
     ;; Bold numerals
-    ("one" . ,(bold "1"))
-    ("two" . ,(bold "2"))
-    ("three" . ,(bold "3"))
-    ("four" . ,(bold "4"))
-    ("five" . ,(bold "5"))
-    ("six" . ,(bold "6"))
-    ("seven" . ,(bold "7"))
-    ("eight" . ,(bold "8"))
-    ("nine" . ,(bold "9"))
-    ;; Mathcal 
-    ("A" . ,(script "A"))
-    ("B" . ,(script "B"))
-    ("C" . ,(script "C"))
-    ("D" . ,(script "D"))
-    ("E" . ,(script "E"))
-    ("F" . ,(script "F"))
-    ("G" . ,(script "G"))
-    ("H" . ,(script "H"))
-    ("I" . ,(script "I"))
-    ("J" . ,(script "J"))
-    ("K" . ,(script "K"))
-    ("L" . ,(script "L"))
-    ("M" . ,(script "M"))
-    ("N" . ,(script "N"))
-    ("O" . ,(script "O"))
-    ("P" . ,(script "P"))
-    ("Q" . ,(script "Q"))
-    ("R" . ,(script "R"))
-    ("S" . ,(script "S"))
-    ("T" . ,(script "T"))
-    ("U" . ,(script "U"))
-    ("V" . ,(script "V"))
-    ("W" . ,(script "W"))
-    ("X" . ,(script "X"))
-    ("Y" . ,(script "Y"))
-    ("Z" . ,(script "Z"))
-    ;; Math roman
-    ("a" . ,(serif "a"))
-    ("b" . ,(serif "b"))
-    ("c" . ,(serif "c"))
-    ("d" . ,(serif "d"))
-    ("e" . ,(serif "e"))
-    ("f" . ,(serif "f"))
-    ("g" . ,(serif "g"))
-    ("h" . ,(serif "h"))
-    ("i" . ,(serif "i"))
-    ("j" . ,(serif "j"))
-    ("k" . ,(serif "k"))
-    ("l" . ,(serif "l"))
-    ("m" . ,(serif "m"))
-    ("n" . ,(serif "n"))
-    ("o" . ,(serif "o"))
-    ("p" . ,(serif "p"))
-    ("q" . ,(serif "q"))
-    ("r" . ,(serif "r"))
-    ("s" . ,(serif "s"))
-    ("t" . ,(serif "t"))
-    ("u" . ,(serif "u"))
-    ("v" . ,(serif "v"))
-    ("w" . ,(serif "w"))
-    ("x" . ,(serif "x"))
-    ("y" . ,(serif "y"))
-    ("z" . ,(serif "z"))
-    ;; Fraktur
-    ("AA" . ,(frakt "A"))
-    ("BB" . ,(frakt "B"))
-    ("CC" . ,(frakt "C"))
-    ("DD" . ,(frakt "D"))
-    ("EE" . ,(frakt "E"))
-    ("FF" . ,(frakt "F"))
-    ("GG" . ,(frakt "G"))
-    ("HH" . ,(frakt "H"))
-    ("II" . ,(frakt "I"))
-    ("JJ" . ,(frakt "J"))
-    ("KK" . ,(frakt "K"))
-    ("LL" . ,(frakt "L"))
-    ("MM" . ,(frakt "M"))
-    ("NN" . ,(frakt "N"))
-    ("OO" . ,(frakt "O"))
-    ("PP" . ,(frakt "P"))
-    ("QQ" . ,(frakt "Q"))
-    ("RR" . ,(frakt "R"))
-    ("SS" . ,(frakt "S"))
-    ("TT" . ,(frakt "T"))
-    ("UU" . ,(frakt "U"))
-    ("VV" . ,(frakt "V"))
-    ("WW" . ,(frakt "W"))
-    ("XX" . ,(frakt "X"))
-    ("YY" . ,(frakt "Y"))
-    ("ZZ" . ,(frakt "Z"))
-    ("aa" . ,(frakt "a"))
-    ("bb" . ,(frakt "b"))
-    ("cc" . ,(frakt "c"))
-    ("dd" . ,(frakt "d"))
-    ("ee" . ,(frakt "e"))
-    ("ff" . ,(frakt "f"))
-    ("gg" . ,(frakt "g"))
-    ("hh" . ,(frakt "h"))
-    ("ii" . ,(frakt "i"))
-    ("jj" . ,(frakt "j"))
-    ("kk" . ,(frakt "k"))
-    ("ll" . ,(frakt "l"))
-    ("mm" . ,(frakt "m"))
-    ("nn" . ,(frakt "n"))
-    ("oo" . ,(frakt "o"))
-    ("pp" . ,(frakt "p"))
-    ("qq" . ,(frakt "q"))
-    ("rr" . ,(frakt "r"))
-    ("ss" . ,(frakt "s"))
-    ("tt" . ,(frakt "t"))
-    ("uu" . ,(frakt "u"))
-    ("vv" . ,(frakt "v"))
-    ("ww" . ,(frakt "w"))
-    ("xx" . ,(frakt "x"))
-    ("yy" . ,(frakt "y"))
-    ("zz" . ,(frakt "z"))
+;;
+;; These are unreliable so removed for release version.
+;; 
+;;;     ("zero" . ,(bold "0"))
+;;;     ("one" . ,(bold "1"))
+;;;     ("two" . ,(bold "2"))
+;;;     ("three" . ,(bold "3"))
+;;;     ("four" . ,(bold "4"))
+;;;     ("five" . ,(bold "5"))
+;;;     ("six" . ,(bold "6"))
+;;;     ("seven" . ,(bold "7"))
+;;;     ("eight" . ,(bold "8"))
+;;;     ("nine" . ,(bold "9"))
+;;;     ;; Mathcal 
+;;;     ("A" . ,(script "A"))
+;;;     ("B" . ,(script "B"))
+;;;     ("C" . ,(script "C"))
+;;;     ("D" . ,(script "D"))
+;;;     ("E" . ,(script "E"))
+;;;     ("F" . ,(script "F"))
+;;;     ("G" . ,(script "G"))
+;;;     ("H" . ,(script "H"))
+;;;     ("I" . ,(script "I"))
+;;;     ("J" . ,(script "J"))
+;;;     ("K" . ,(script "K"))
+;;;     ("L" . ,(script "L"))
+;;;     ("M" . ,(script "M"))
+;;;     ("N" . ,(script "N"))
+;;;     ("O" . ,(script "O"))
+;;;     ("P" . ,(script "P"))
+;;;     ("Q" . ,(script "Q"))
+;;;     ("R" . ,(script "R"))
+;;;     ("S" . ,(script "S"))
+;;;     ("T" . ,(script "T"))
+;;;     ("U" . ,(script "U"))
+;;;     ("V" . ,(script "V"))
+;;;     ("W" . ,(script "W"))
+;;;     ("X" . ,(script "X"))
+;;;     ("Y" . ,(script "Y"))
+;;;     ("Z" . ,(script "Z"))
+;;;     ;; Math roman
+;;;     ("a" . ,(serif "a"))
+;;;     ("b" . ,(serif "b"))
+;;;     ("c" . ,(serif "c"))
+;;;     ("d" . ,(serif "d"))
+;;;     ("e" . ,(serif "e"))
+;;;     ("f" . ,(serif "f"))
+;;;     ("g" . ,(serif "g"))
+;;;     ("h" . ,(serif "h"))
+;;;     ("i" . ,(serif "i"))
+;;;     ("j" . ,(serif "j"))
+;;;     ("k" . ,(serif "k"))
+;;;     ("l" . ,(serif "l"))
+;;;     ("m" . ,(serif "m"))
+;;;     ("n" . ,(serif "n"))
+;;;     ("o" . ,(serif "o"))
+;;;     ("p" . ,(serif "p"))
+;;;     ("q" . ,(serif "q"))
+;;;     ("r" . ,(serif "r"))
+;;;     ("s" . ,(serif "s"))
+;;;     ("t" . ,(serif "t"))
+;;;     ("u" . ,(serif "u"))
+;;;     ("v" . ,(serif "v"))
+;;;     ("w" . ,(serif "w"))
+;;;     ("x" . ,(serif "x"))
+;;;     ("y" . ,(serif "y"))
+;;;     ("z" . ,(serif "z"))
+;;;     ;; Fraktur
+;;;     ("AA" . ,(frakt "A"))
+;;;     ("BB" . ,(frakt "B"))
+;;;     ("CC" . ,(frakt "C"))
+;;;     ("DD" . ,(frakt "D"))
+;;;     ("EE" . ,(frakt "E"))
+;;;     ("FF" . ,(frakt "F"))
+;;;     ("GG" . ,(frakt "G"))
+;;;     ("HH" . ,(frakt "H"))
+;;;     ("II" . ,(frakt "I"))
+;;;     ("JJ" . ,(frakt "J"))
+;;;     ("KK" . ,(frakt "K"))
+;;;     ("LL" . ,(frakt "L"))
+;;;     ("MM" . ,(frakt "M"))
+;;;     ("NN" . ,(frakt "N"))
+;;;     ("OO" . ,(frakt "O"))
+;;;     ("PP" . ,(frakt "P"))
+;;;     ("QQ" . ,(frakt "Q"))
+;;;     ("RR" . ,(frakt "R"))
+;;;     ("SS" . ,(frakt "S"))
+;;;     ("TT" . ,(frakt "T"))
+;;;     ("UU" . ,(frakt "U"))
+;;;     ("VV" . ,(frakt "V"))
+;;;     ("WW" . ,(frakt "W"))
+;;;     ("XX" . ,(frakt "X"))
+;;;     ("YY" . ,(frakt "Y"))
+;;;     ("ZZ" . ,(frakt "Z"))
+;;;     ("aa" . ,(frakt "a"))
+;;;     ("bb" . ,(frakt "b"))
+;;;     ("cc" . ,(frakt "c"))
+;;;     ("dd" . ,(frakt "d"))
+;;;     ("ee" . ,(frakt "e"))
+;;;     ("ff" . ,(frakt "f"))
+;;;     ("gg" . ,(frakt "g"))
+;;;     ("hh" . ,(frakt "h"))
+;;;     ("ii" . ,(frakt "i"))
+;;;     ("jj" . ,(frakt "j"))
+;;;     ("kk" . ,(frakt "k"))
+;;;     ("ll" . ,(frakt "l"))
+;;;     ("mm" . ,(frakt "m"))
+;;;     ("nn" . ,(frakt "n"))
+;;;     ("oo" . ,(frakt "o"))
+;;;     ("pp" . ,(frakt "p"))
+;;;     ("qq" . ,(frakt "q"))
+;;;     ("rr" . ,(frakt "r"))
+;;;     ("ss" . ,(frakt "s"))
+;;;     ("tt" . ,(frakt "t"))
+;;;     ("uu" . ,(frakt "u"))
+;;;     ("vv" . ,(frakt "v"))
+;;;     ("ww" . ,(frakt "w"))
+;;;     ("xx" . ,(frakt "x"))
+;;;     ("yy" . ,(frakt "y"))
+;;;     ("zz" . ,(frakt "z"))
     ("alpha" . "α")
     ("beta" . "β")
     ("gamma" . "γ")