added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34);
--- 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: =^)
-
--- 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
Binary file lib/fonts/IsabelleText.ttf has changed
--- 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
Binary file lib/fonts/IsabelleTextBold.ttf has changed
--- 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$}}}
-
--- 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}