src/Pure/Admin/build_fonts.scala
changeset 69341 6aa24ccd8049
parent 69339 6baa37cbf70b
child 69343 395c4fb15ea2
equal deleted inserted replaced
69340:f8f8270188b4 69341:6aa24ccd8049
    38       Seq(
    38       Seq(
    39         0x05,  // X
    39         0x05,  // X
    40         0x06,  // Y
    40         0x06,  // Y
    41         0x07,  // EOF
    41         0x07,  // EOF
    42         0x7f,  // DEL
    42         0x7f,  // DEL
       
    43         0xaf,  // INVERSE
    43         0xac,  // logicalnot
    44         0xac,  // logicalnot
    44         0xb0,  // degree
    45         0xb0,  // degree
    45         0xb1,  // plusminus
    46         0xb1,  // plusminus
    46         0xb7,  // periodcentered
    47         0xb7,  // periodcentered
    47         0xd7,  // multiply
    48         0xd7,  // multiply