added glyph for \<marker>;
authorwenzelm
Sat Mar 09 13:35:49 2019 +0100 (5 weeks ago ago)
changeset 700666dc5506ad449
parent 70065 dec7cc38a5dc
child 70067 0cb8753bdb50
added glyph for \<marker>;
Admin/components/components.sha1
Admin/components/main
etc/symbols
src/Pure/Admin/build_fonts.scala
     1.1 --- a/Admin/components/components.sha1	Sat Mar 09 13:24:59 2019 +0100
     1.2 +++ b/Admin/components/components.sha1	Sat Mar 09 13:35:49 2019 +0100
     1.3 @@ -78,6 +78,7 @@
     1.4  bee32019e5d7cf096ef2ea1d836c732e9a7628cc  isabelle_fonts-20181124.tar.gz
     1.5  f249bc2c85bd2af9eee509de17187a766b74ab86  isabelle_fonts-20181129.tar.gz
     1.6  928b5320073d04d93bcc5bc4347b6d01632b9d45  isabelle_fonts-20190210.tar.gz
     1.7 +dfcdf9a757b9dc36cee87f82533b43c58ba84abe  isabelle_fonts-20190309.tar.gz
     1.8  0b2206f914336dec4923dd0479d8cee4b904f544  jdk-11+28.tar.gz
     1.9  3e05213cad47dbef52804fe329395db9b4e57f39  jdk-11.0.2+9.tar.gz
    1.10  71d19df63816e9be1c4c5eb44aea7a44cfadb319  jdk-11.tar.gz
     2.1 --- a/Admin/components/main	Sat Mar 09 13:24:59 2019 +0100
     2.2 +++ b/Admin/components/main	Sat Mar 09 13:35:49 2019 +0100
     2.3 @@ -4,7 +4,7 @@
     2.4  csdp-6.x
     2.5  cvc4-1.5-4
     2.6  e-2.0-2
     2.7 -isabelle_fonts-20190210
     2.8 +isabelle_fonts-20190309
     2.9  jdk-11.0.2+9
    2.10  jedit_build-20190224
    2.11  jfreechart-1.5.0
     3.1 --- a/etc/symbols	Sat Mar 09 13:24:59 2019 +0100
     3.2 +++ b/etc/symbols	Sat Mar 09 13:35:49 2019 +0100
     3.3 @@ -359,6 +359,7 @@
     3.4  \<hole>                 code: 0x002311
     3.5  \<newline>              code: 0x0023ce
     3.6  \<comment>              code: 0x002015  group: document  argument: space_cartouche  font: Isabelle␣DejaVu␣Sans␣Mono
     3.7 +\<marker>               code: 0x002710  group: document  argument: cartouche  font: Isabelle␣DejaVu␣Sans␣Mono
     3.8  \<^cancel>              code: 0x002326  group: document  argument: cartouche  font: Isabelle␣DejaVu␣Sans␣Mono
     3.9  \<^latex>                               group: document  argument: cartouche
    3.10  \<open>                 code: 0x002039  group: punctuation  font: Isabelle␣DejaVu␣Sans␣Mono  abbrev: <<
     4.1 --- a/src/Pure/Admin/build_fonts.scala	Sat Mar 09 13:24:59 2019 +0100
     4.2 +++ b/src/Pure/Admin/build_fonts.scala	Sat Mar 09 13:35:49 2019 +0100
     4.3 @@ -30,6 +30,7 @@
     4.4          0x203a,  // single guillemet
     4.5          0x204b,  // FOOTNOTE
     4.6          0x20ac,  // Euro
     4.7 +        0x2710,  // pencil
     4.8          0xfb01,  // ligature fi
     4.9          0xfb02,  // ligature fl
    4.10          0xfffd,  // replacement character