From dbcc799c6d2e7c2666389af109dd50ee19bf1c30 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 4 Dec 2001 16:14:22 +0000
Subject: added symbols for alternative 0..9;

---
 isa/x-symbol-isabelle.el | 10 ++++++++++
 1 file changed, 10 insertions(+)

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)
-- 
cgit v1.2.3