--- a/Admin/isabelle_fonts/IsabelleSymbols.sfd Tue Jul 16 15:39:32 2019 +0200
+++ b/Admin/isabelle_fonts/IsabelleSymbols.sfd Wed Jul 17 09:40:43 2019 +0200
@@ -20,7 +20,7 @@
OS2_WeightWidthSlopeOnly: 0
OS2_UseTypoMetrics: 1
CreationTime: 1050361371
-ModificationTime: 1544375065
+ModificationTime: 1563348871
PfmFamily: 17
TTFWeight: 400
TTFWidth: 5
@@ -2242,7 +2242,7 @@
DisplaySize: -96
AntiAlias: 1
FitToEm: 1
-WinInfo: 0 32 8
+WinInfo: 64 32 8
BeginPrivate: 0
EndPrivate
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
@@ -16356,24 +16356,19 @@
StartChar: periodcentered
Encoding: 183 183 195
Width: 614
-VWidth: 2220
-Flags: W
-HStem: 437 235<214.472 402.688>
-VStem: 191 235<460.892 649.108>
-LayerCount: 2
-Fore
-SplineSet
-426 555 m 128,-1,1
- 426 507 426 507 391.5 472 c 128,-1,2
- 357 437 357 437 308.5 437 c 128,-1,3
- 260 437 260 437 225.5 472 c 128,-1,4
- 191 507 191 507 191 555 c 128,-1,5
- 191 603 191 603 225.5 638 c 128,-1,6
- 260 673 260 673 308.5 672.5 c 128,-1,7
- 357 672 357 672 391.5 637.5 c 128,-1,0
- 426 603 426 603 426 555 c 128,-1,1
-EndSplineSet
-Validated: 33
+VWidth: 2326
+Flags: W
+HStem: 415.188 375.624<115.193 498.807>
+VStem: 115.193 383.614<415.188 790.812>
+LayerCount: 2
+Fore
+SplineSet
+115.193359375 790.811523438 m 1,0,-1
+ 498.806640625 790.811523438 l 1,1,-1
+ 498.806640625 415.188476562 l 1,2,-1
+ 115.193359375 415.188476562 l 1,3,-1
+ 115.193359375 790.811523438 l 1,0,-1
+EndSplineSet
EndChar
StartChar: quotesinglbase
--- a/Admin/isabelle_fonts/IsabelleSymbolsBold.sfd Tue Jul 16 15:39:32 2019 +0200
+++ b/Admin/isabelle_fonts/IsabelleSymbolsBold.sfd Wed Jul 17 09:40:43 2019 +0200
@@ -21,7 +21,7 @@
OS2_WeightWidthSlopeOnly: 0
OS2_UseTypoMetrics: 1
CreationTime: 1050374980
-ModificationTime: 1544375307
+ModificationTime: 1563348893
PfmFamily: 17
TTFWeight: 700
TTFWidth: 5
@@ -1679,7 +1679,7 @@
DisplaySize: -96
AntiAlias: 1
FitToEm: 1
-WinInfo: 0 32 8
+WinInfo: 64 32 8
BeginPrivate: 0
EndPrivate
BeginChars: 1114115 1403
@@ -13029,20 +13029,24 @@
StartChar: periodcentered
Encoding: 183 183 125
Width: 614
-Flags: W
-LayerCount: 2
-Fore
-SplineSet
-427.5 436 m 128,-1,1
- 378 386 378 386 308.5 386 c 128,-1,2
- 239 386 239 386 189.5 436 c 128,-1,3
- 140 486 140 486 140 555 c 128,-1,4
- 140 624 140 624 189 674 c 128,-1,5
- 238 724 238 724 307 724 c 1,6,-1
- 343 723 l 2,7,8
- 378 723 378 723 427.5 673.5 c 128,-1,9
- 477 624 477 624 477 555 c 128,-1,0
- 477 486 477 486 427.5 436 c 128,-1,1
+VWidth: 2326
+Flags: WO
+LayerCount: 2
+Fore
+SplineSet
+115.193359375 841.811523438 m 1
+ 498.806640625 841.811523438 l 1
+ 549.806640625 841.811523438 l 1
+ 549.806640625 790.811523438 l 1
+ 549.806640625 415.188476562 l 1
+ 549.806640625 364.188476562 l 1
+ 498.806640625 364.188476562 l 1
+ 115.193359375 364.188476562 l 1
+ 64.193359375 364.188476562 l 1
+ 64.193359375 415.188476562 l 1
+ 64.193359375 790.811523438 l 1
+ 64.193359375 841.811523438 l 1
+ 115.193359375 841.811523438 l 1
EndSplineSet
EndChar
--- a/etc/symbols Tue Jul 16 15:39:32 2019 +0200
+++ b/etc/symbols Wed Jul 17 09:40:43 2019 +0200
@@ -328,6 +328,7 @@
\<registered> code: 0x0000ae
\<hyphen> code: 0x002010 group: punctuation
\<inverse> code: 0x0000af group: operator
+\<sqdot> code: 0x0000b7 group: punctuation
\<onequarter> code: 0x0000bc group: digit
\<onehalf> code: 0x0000bd group: digit
\<threequarters> code: 0x0000be group: digit
--- a/lib/texinputs/isabellesym.sty Tue Jul 16 15:39:32 2019 +0200
+++ b/lib/texinputs/isabellesym.sty Wed Jul 17 09:40:43 2019 +0200
@@ -363,6 +363,7 @@
\newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}
\newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
\newcommand{\isasymhole}{\isatext{\normalfont\rmfamily\wasylozenge}} %requires wasysym
+\newcommand{\isasymsqdot}{\isamath{\sbox\z@{$\centerdot$}\ht\z@=.33333\ht\z@\vcenter{\box\z@}}} %requires amssymb
\newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
\newcommand{\isasymcomment}{\isatext{\isastylecmt---}}
\newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}