# HG changeset patch # User wenzelm # Date 1428520106 -7200 # Node ID b911c8ba0b699b8b9f1213089548e1cb8d1889e8 # Parent a51af4f12d4758712479120e290646c411c6f3fa added symbol for \ (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34); diff -r a51af4f12d47 -r b911c8ba0b69 etc/symbols --- a/etc/symbols Wed Apr 08 20:41:56 2015 +0200 +++ b/etc/symbols Wed Apr 08 21:08:26 2015 +0200 @@ -347,6 +347,7 @@ \ code: 0x0000b8 \ code: 0x0002dd \ code: 0x0003f5 +\ code: 0x002311 \ code: 0x0023ce \ code: 0x002039 group: punctuation font: IsabelleText abbrev: << \ code: 0x00203a group: punctuation font: IsabelleText abbrev: >> @@ -358,4 +359,3 @@ \<^esub> code: 0x0021d9 group: control_block font: IsabelleText abbrev: =_) \<^bsup> code: 0x0021d7 group: control_block font: IsabelleText abbrev: =^( \<^esup> code: 0x0021d6 group: control_block font: IsabelleText abbrev: =^) - diff -r a51af4f12d47 -r b911c8ba0b69 lib/fonts/IsabelleText.sfd --- a/lib/fonts/IsabelleText.sfd Wed Apr 08 20:41:56 2015 +0200 +++ b/lib/fonts/IsabelleText.sfd Wed Apr 08 21:08:26 2015 +0200 @@ -19,7 +19,7 @@ OS2_WeightWidthSlopeOnly: 0 OS2_UseTypoMetrics: 1 CreationTime: 1050361371 -ModificationTime: 1392668982 +ModificationTime: 1428519538 PfmFamily: 17 TTFWeight: 400 TTFWidth: 5 @@ -2242,7 +2242,7 @@ FitToEm: 1 WinInfo: 8912 16 10 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 -BeginChars: 1114189 1096 +BeginChars: 1114189 1097 StartChar: u10000 Encoding: 65536 65536 0 @@ -55594,5 +55594,25 @@ 268.5 122 l 17,5,-1 EndSplineSet EndChar + +StartChar: uni2311 +Encoding: 8977 8977 1096 +Width: 1233 +Flags: W +LayerCount: 2 +Fore +SplineSet +231 394 m 1,0,1 + 616 531 616 531 1001 394 c 1,2,3 + 864 778 864 778 1001 1164 c 1,4,5 + 616 1026 616 1026 231 1164 c 1,6,7 + 368 778 368 778 231 394 c 1,0,1 +97 258 m 1,8,9 + 281 758 281 758 97 1298 c 1,10,11 + 616 1121 616 1121 1136 1298 c 1,12,13 + 952 798 952 798 1136 259 c 1,14,15 + 616 436 616 436 97 258 c 1,8,9 +EndSplineSet +EndChar EndChars EndSplineFont diff -r a51af4f12d47 -r b911c8ba0b69 lib/fonts/IsabelleText.ttf Binary file lib/fonts/IsabelleText.ttf has changed diff -r a51af4f12d47 -r b911c8ba0b69 lib/fonts/IsabelleTextBold.sfd --- a/lib/fonts/IsabelleTextBold.sfd Wed Apr 08 20:41:56 2015 +0200 +++ b/lib/fonts/IsabelleTextBold.sfd Wed Apr 08 21:08:26 2015 +0200 @@ -19,7 +19,7 @@ OS2_WeightWidthSlopeOnly: 0 OS2_UseTypoMetrics: 1 CreationTime: 1050374980 -ModificationTime: 1392669044 +ModificationTime: 1428519645 PfmFamily: 17 TTFWeight: 700 TTFWidth: 5 @@ -1675,7 +1675,7 @@ AntiAlias: 1 FitToEm: 1 WinInfo: 8928 16 10 -BeginChars: 1114112 1085 +BeginChars: 1114112 1086 StartChar: u10000 Encoding: 65536 65536 0 @@ -58524,5 +58524,25 @@ 298 187 l 17,5,-1 EndSplineSet EndChar + +StartChar: uni2311 +Encoding: 8977 8977 1085 +Width: 1233 +Flags: W +LayerCount: 2 +Fore +SplineSet +250 412 m 1,0,1 + 616 544 616 544 982 412 c 1,2,3 + 851 778 851 778 982 1144 c 1,4,5 + 616 1014 616 1014 250 1144 c 1,6,7 + 381 778 381 778 250 412 c 1,0,1 +71 232 m 1,8,9 + 264 756 264 756 71 1324 c 1,10,11 + 616 1138 616 1138 1162 1324 c 1,12,13 + 969 800 969 800 1162 234 c 1,14,15 + 617 418 617 418 71 232 c 1,8,9 +EndSplineSet +EndChar EndChars EndSplineFont diff -r a51af4f12d47 -r b911c8ba0b69 lib/fonts/IsabelleTextBold.ttf Binary file lib/fonts/IsabelleTextBold.ttf has changed diff -r a51af4f12d47 -r b911c8ba0b69 lib/texinputs/isabellesym.sty --- a/lib/texinputs/isabellesym.sty Wed Apr 08 20:41:56 2015 +0200 +++ b/lib/texinputs/isabellesym.sty Wed Apr 08 21:08:26 2015 +0200 @@ -356,5 +356,5 @@ \newcommand{\isasymsome}{\isamath{\epsilon\,}} \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}} \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}} +\newcommand{\isasymhole}{\isatext{\rm\wasylozenge}} %requires wasysym \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}} - diff -r a51af4f12d47 -r b911c8ba0b69 src/Doc/Isar_Ref/document/root.tex --- a/src/Doc/Isar_Ref/document/root.tex Wed Apr 08 20:41:56 2015 +0200 +++ b/src/Doc/Isar_Ref/document/root.tex Wed Apr 08 21:08:26 2015 +0200 @@ -1,6 +1,7 @@ \documentclass[12pt,a4paper,fleqn]{report} \usepackage[T1]{fontenc} \usepackage{amssymb} +\usepackage{wasysym} \usepackage{eurosym} \usepackage[english]{babel} \usepackage[only,bigsqcap]{stmaryrd}