Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/component_fonts.scala
changeset 81674 70d2f72098df
parent 77566 2a99fcb283ee 
--- a/src/Pure/Admin/component_fonts.scala	Fri Dec 27 18:01:34 2024 +0100
+++ b/src/Pure/Admin/component_fonts.scala	Fri Dec 27 19:49:45 2024 +0100
@@ -24,6 +24,8 @@
         0x201c,  // double quote
         0x201d,  // double quote
         0x201e,  // double quote
+        0x2022,  // regular bullet
+        0x2023,  // triangular bullet
         0x2039,  // single guillemet
         0x203a,  // single guillemet
         0x204b,  // FOOTNOTE
@@ -58,7 +60,6 @@
         0x2016,  // big parallel
         0x2020,  // dagger
         0x2021,  // double dagger
-        0x2022,  // bullet
         0x2026,  // ellipsis
         0x2030,  // perthousand
         0x2032,  // minute
isabelle