diff options
author | Makarius Wenzel <makarius@sketis.net> | 2001-12-04 16:14:22 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2001-12-04 16:14:22 +0000 |
commit | dbcc799c6d2e7c2666389af109dd50ee19bf1c30 (patch) | |
tree | d8d79a21ceabc988551dbe4e627eec39cb11db4a /isa/x-symbol-isabelle.el | |
parent | 4b77e6ad1f926665da6b27af3ed52dd768469c80 (diff) |
added symbols for alternative 0..9;
Diffstat (limited to 'isa/x-symbol-isabelle.el')
-rw-r--r-- | isa/x-symbol-isabelle.el | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index fb23a07d..f9938491 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -326,6 +326,16 @@ Uses `x-symbol-isabelle-font-lock-scripts-regexp'." (smllozenge "\\<struct>") (dotlessi "\\<index>") (euro "\\<euro>") + (zero1 "\\<zero>") + (one1 "\\<one>") + (two1 "\\<two>") + (three1 "\\<three>") + (four1 "\\<four>") + (five1 "\\<five>") + (six1 "\\<six>") + (seven1 "\\<seven>") + (eight1 "\\<eight>") + (nine1 "\\<nine>") )) (defun x-symbol-isabelle-prepare-table (table) |