| changeset 50201 | c26369c9eda6 |
| parent 48670 | 206144b13849 |
| child 50233 | eef21a0726f1 |
| 50200:2c94c065564e | 50201:c26369c9eda6 |
|---|---|
52 |
52 |
53 |
53 |
54 (* symbol output *) |
54 (* symbol output *) |
55 |
55 |
56 local |
56 local |
57 val hidden = span Isabelle_Markup.hiddenN |-> enclose; |
57 val hidden = span Markup.hiddenN |-> enclose; |
58 |
58 |
59 (* FIXME proper unicode -- produced on Scala side *) |
59 (* FIXME proper unicode -- produced on Scala side *) |
60 val html_syms = Symtab.make |
60 val html_syms = Symtab.make |
61 [("", (0, "")), |
61 [("", (0, "")), |
62 ("\n", (0, "<br/>")), |
62 ("\n", (0, "<br/>")), |