# HG changeset patch
# User wenzelm
# Date 1428520106 -7200
# Node ID b911c8ba0b699b8b9f1213089548e1cb8d1889e8
# Parent  a51af4f12d4758712479120e290646c411c6f3fa
added symbol for \<hole> (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 @@
 \<cedilla>              code: 0x0000b8
 \<hungarumlaut>         code: 0x0002dd
 \<some>                 code: 0x0003f5
+\<hole>                 code: 0x002311
 \<newline>              code: 0x0023ce
 \<open>                 code: 0x002039  group: punctuation  font: IsabelleText  abbrev: <<
 \<close>                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}