equal
deleted
inserted
replaced
38 |
38 |
39 |
39 |
40 (* accessors *) |
40 (* accessors *) |
41 |
41 |
42 fun the_style thy name = |
42 fun the_style thy name = |
43 (case Symtab.curried_lookup (StyleData.get thy) name of |
43 (case Symtab.lookup (StyleData.get thy) name of |
44 NONE => error ("Unknown antiquote style: " ^ quote name) |
44 NONE => error ("Unknown antiquote style: " ^ quote name) |
45 | SOME (style, _) => style); |
45 | SOME (style, _) => style); |
46 |
46 |
47 fun add_style name style thy = |
47 fun add_style name style thy = |
48 StyleData.map (Symtab.curried_update_new (name, (style, stamp ()))) thy |
48 StyleData.map (Symtab.update_new (name, (style, stamp ()))) thy |
49 handle Symtab.DUP _ => err_dup_styles [name]; |
49 handle Symtab.DUP _ => err_dup_styles [name]; |
50 |
50 |
51 |
51 |
52 (* predefined styles *) |
52 (* predefined styles *) |
53 |
53 |