added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34);
authorwenzelm
Wed Apr 08 21:08:26 2015 +0200 (2015-04-08)
changeset 59974b911c8ba0b69
parent 59973 a51af4f12d47
child 59975 da10875adf8e
added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34);
etc/symbols
lib/fonts/IsabelleText.sfd
lib/fonts/IsabelleText.ttf
lib/fonts/IsabelleTextBold.sfd
lib/fonts/IsabelleTextBold.ttf
lib/texinputs/isabellesym.sty
src/Doc/Isar_Ref/document/root.tex
     1.1 --- a/etc/symbols	Wed Apr 08 20:41:56 2015 +0200
     1.2 +++ b/etc/symbols	Wed Apr 08 21:08:26 2015 +0200
     1.3 @@ -347,6 +347,7 @@
     1.4  \<cedilla>              code: 0x0000b8
     1.5  \<hungarumlaut>         code: 0x0002dd
     1.6  \<some>                 code: 0x0003f5
     1.7 +\<hole>                 code: 0x002311
     1.8  \<newline>              code: 0x0023ce
     1.9  \<open>                 code: 0x002039  group: punctuation  font: IsabelleText  abbrev: <<
    1.10  \<close>                code: 0x00203a  group: punctuation  font: IsabelleText  abbrev: >>
    1.11 @@ -358,4 +359,3 @@
    1.12  \<^esub>                code: 0x0021d9  group: control_block  font: IsabelleText  abbrev: =_)
    1.13  \<^bsup>                code: 0x0021d7  group: control_block  font: IsabelleText  abbrev: =^(
    1.14  \<^esup>                code: 0x0021d6  group: control_block  font: IsabelleText  abbrev: =^)
    1.15 -
     2.1 --- a/lib/fonts/IsabelleText.sfd	Wed Apr 08 20:41:56 2015 +0200
     2.2 +++ b/lib/fonts/IsabelleText.sfd	Wed Apr 08 21:08:26 2015 +0200
     2.3 @@ -19,7 +19,7 @@
     2.4  OS2_WeightWidthSlopeOnly: 0
     2.5  OS2_UseTypoMetrics: 1
     2.6  CreationTime: 1050361371
     2.7 -ModificationTime: 1392668982
     2.8 +ModificationTime: 1428519538
     2.9  PfmFamily: 17
    2.10  TTFWeight: 400
    2.11  TTFWidth: 5
    2.12 @@ -2242,7 +2242,7 @@
    2.13  FitToEm: 1
    2.14  WinInfo: 8912 16 10
    2.15  TeXData: 1 0 0 631296 315648 210432 572416 -1048576 210432 783286 444596 497025 792723 393216 433062 380633 303038 157286 324010 404750 52429 2506097 1059062 262144
    2.16 -BeginChars: 1114189 1096
    2.17 +BeginChars: 1114189 1097
    2.18  
    2.19  StartChar: u10000
    2.20  Encoding: 65536 65536 0
    2.21 @@ -55594,5 +55594,25 @@
    2.22   268.5 122 l 17,5,-1
    2.23  EndSplineSet
    2.24  EndChar
    2.25 +
    2.26 +StartChar: uni2311
    2.27 +Encoding: 8977 8977 1096
    2.28 +Width: 1233
    2.29 +Flags: W
    2.30 +LayerCount: 2
    2.31 +Fore
    2.32 +SplineSet
    2.33 +231 394 m 1,0,1
    2.34 + 616 531 616 531 1001 394 c 1,2,3
    2.35 + 864 778 864 778 1001 1164 c 1,4,5
    2.36 + 616 1026 616 1026 231 1164 c 1,6,7
    2.37 + 368 778 368 778 231 394 c 1,0,1
    2.38 +97 258 m 1,8,9
    2.39 + 281 758 281 758 97 1298 c 1,10,11
    2.40 + 616 1121 616 1121 1136 1298 c 1,12,13
    2.41 + 952 798 952 798 1136 259 c 1,14,15
    2.42 + 616 436 616 436 97 258 c 1,8,9
    2.43 +EndSplineSet
    2.44 +EndChar
    2.45  EndChars
    2.46  EndSplineFont
     3.1 Binary file lib/fonts/IsabelleText.ttf has changed
     4.1 --- a/lib/fonts/IsabelleTextBold.sfd	Wed Apr 08 20:41:56 2015 +0200
     4.2 +++ b/lib/fonts/IsabelleTextBold.sfd	Wed Apr 08 21:08:26 2015 +0200
     4.3 @@ -19,7 +19,7 @@
     4.4  OS2_WeightWidthSlopeOnly: 0
     4.5  OS2_UseTypoMetrics: 1
     4.6  CreationTime: 1050374980
     4.7 -ModificationTime: 1392669044
     4.8 +ModificationTime: 1428519645
     4.9  PfmFamily: 17
    4.10  TTFWeight: 700
    4.11  TTFWidth: 5
    4.12 @@ -1675,7 +1675,7 @@
    4.13  AntiAlias: 1
    4.14  FitToEm: 1
    4.15  WinInfo: 8928 16 10
    4.16 -BeginChars: 1114112 1085
    4.17 +BeginChars: 1114112 1086
    4.18  
    4.19  StartChar: u10000
    4.20  Encoding: 65536 65536 0
    4.21 @@ -58524,5 +58524,25 @@
    4.22   298 187 l 17,5,-1
    4.23  EndSplineSet
    4.24  EndChar
    4.25 +
    4.26 +StartChar: uni2311
    4.27 +Encoding: 8977 8977 1085
    4.28 +Width: 1233
    4.29 +Flags: W
    4.30 +LayerCount: 2
    4.31 +Fore
    4.32 +SplineSet
    4.33 +250 412 m 1,0,1
    4.34 + 616 544 616 544 982 412 c 1,2,3
    4.35 + 851 778 851 778 982 1144 c 1,4,5
    4.36 + 616 1014 616 1014 250 1144 c 1,6,7
    4.37 + 381 778 381 778 250 412 c 1,0,1
    4.38 +71 232 m 1,8,9
    4.39 + 264 756 264 756 71 1324 c 1,10,11
    4.40 + 616 1138 616 1138 1162 1324 c 1,12,13
    4.41 + 969 800 969 800 1162 234 c 1,14,15
    4.42 + 617 418 617 418 71 232 c 1,8,9
    4.43 +EndSplineSet
    4.44 +EndChar
    4.45  EndChars
    4.46  EndSplineFont
     5.1 Binary file lib/fonts/IsabelleTextBold.ttf has changed
     6.1 --- a/lib/texinputs/isabellesym.sty	Wed Apr 08 20:41:56 2015 +0200
     6.2 +++ b/lib/texinputs/isabellesym.sty	Wed Apr 08 21:08:26 2015 +0200
     6.3 @@ -356,5 +356,5 @@
     6.4  \newcommand{\isasymsome}{\isamath{\epsilon\,}}
     6.5  \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}
     6.6  \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
     6.7 +\newcommand{\isasymhole}{\isatext{\rm\wasylozenge}}  %requires wasysym
     6.8  \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
     6.9 -
     7.1 --- a/src/Doc/Isar_Ref/document/root.tex	Wed Apr 08 20:41:56 2015 +0200
     7.2 +++ b/src/Doc/Isar_Ref/document/root.tex	Wed Apr 08 21:08:26 2015 +0200
     7.3 @@ -1,6 +1,7 @@
     7.4  \documentclass[12pt,a4paper,fleqn]{report}
     7.5  \usepackage[T1]{fontenc}
     7.6  \usepackage{amssymb}
     7.7 +\usepackage{wasysym}
     7.8  \usepackage{eurosym}
     7.9  \usepackage[english]{babel}
    7.10  \usepackage[only,bigsqcap]{stmaryrd}