60 let |
60 let |
61 val (bg1, en1) = |
61 val (bg1, en1) = |
62 if name = Markup.stateN then (special "366" ^ "\n", "\n" ^ special "367") |
62 if name = Markup.stateN then (special "366" ^ "\n", "\n" ^ special "367") |
63 else if name = Markup.sendbackN then (special "376", special "377") |
63 else if name = Markup.sendbackN then (special "376", special "377") |
64 else if name = Markup.hiliteN then (special "327", special "330") |
64 else if name = Markup.hiliteN then (special "327", special "330") |
65 else if name = Markup.classN then (special "351", special "350") |
65 else if name = Markup.tclassN then (special "351", special "350") |
66 else if name = Markup.tfreeN then (special "352", special "350") |
66 else if name = Markup.tfreeN then (special "352", special "350") |
67 else if name = Markup.tvarN then (special "353", special "350") |
67 else if name = Markup.tvarN then (special "353", special "350") |
68 else if name = Markup.freeN then (special "354", special "350") |
68 else if name = Markup.freeN then (special "354", special "350") |
69 else if name = Markup.boundN then (special "355", special "350") |
69 else if name = Markup.boundN then (special "355", special "350") |
70 else if name = Markup.varN then (special "356", special "350") |
70 else if name = Markup.varN then (special "356", special "350") |