diff options
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) |