always show PIDE positions as \<here> (0x002302 "House" from DejaVuSansMono);
authorwenzelm
Mon Feb 17 21:37:41 2014 +0100 (2014-02-17)
changeset 5554676979adf0b96
parent 55545 4a9f76263ece
child 55547 384bfd19ee61
always show PIDE positions as \<here> (0x002302 "House" from DejaVuSansMono);
etc/symbols
lib/fonts/IsabelleText.sfd
lib/fonts/IsabelleText.ttf
lib/fonts/IsabelleTextBold.sfd
lib/fonts/IsabelleTextBold.ttf
src/Pure/General/position.ML
     1.1 --- a/etc/symbols	Mon Feb 17 20:54:03 2014 +0100
     1.2 +++ b/etc/symbols	Mon Feb 17 21:37:41 2014 +0100
     1.3 @@ -350,6 +350,7 @@
     1.4  \<newline>              code: 0x0023ce
     1.5  \<open>                 code: 0x002039  group: punctuation  font: IsabelleText  abbrev: <<
     1.6  \<close>                code: 0x00203a  group: punctuation  font: IsabelleText  abbrev: >>
     1.7 +\<here>                 code: 0x002302  font: IsabelleText
     1.8  \<^sub>                 code: 0x0021e9  group: control  font: IsabelleText
     1.9  \<^sup>                 code: 0x0021e7  group: control  font: IsabelleText
    1.10  \<^bold>                code: 0x002759  group: control  font: IsabelleText
     2.1 --- a/lib/fonts/IsabelleText.sfd	Mon Feb 17 20:54:03 2014 +0100
     2.2 +++ b/lib/fonts/IsabelleText.sfd	Mon Feb 17 21:37:41 2014 +0100
     2.3 @@ -19,7 +19,7 @@
     2.4  OS2_WeightWidthSlopeOnly: 0
     2.5  OS2_UseTypoMetrics: 1
     2.6  CreationTime: 1050361371
     2.7 -ModificationTime: 1389823475
     2.8 +ModificationTime: 1392668982
     2.9  PfmFamily: 17
    2.10  TTFWeight: 400
    2.11  TTFWidth: 5
    2.12 @@ -2240,9 +2240,9 @@
    2.13  DisplaySize: -48
    2.14  AntiAlias: 1
    2.15  FitToEm: 1
    2.16 -WinInfo: 9104 16 10
    2.17 +WinInfo: 8912 16 10
    2.18  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.19 -BeginChars: 1114189 1095
    2.20 +BeginChars: 1114189 1096
    2.21  
    2.22  StartChar: u10000
    2.23  Encoding: 65536 65536 0
    2.24 @@ -55572,5 +55572,27 @@
    2.25   893 663 l 1,9,-1
    2.26  EndSplineSet
    2.27  EndChar
    2.28 +
    2.29 +StartChar: house
    2.30 +Encoding: 8962 8962 1095
    2.31 +Width: 1233
    2.32 +Flags: W
    2.33 +LayerCount: 2
    2.34 +Fore
    2.35 +SplineSet
    2.36 +146.5 0 m 9,0,-1
    2.37 + 146.5 647 l 25,1,-1
    2.38 + 616 1220 l 25,2,-1
    2.39 + 1086.5 647 l 25,3,-1
    2.40 + 1086.5 0 l 17,4,-1
    2.41 + 146.5 0 l 9,0,-1
    2.42 +268.5 122 m 17,5,-1
    2.43 + 964.5 122 l 9,6,-1
    2.44 + 964.5 591 l 25,7,-1
    2.45 + 616 1018 l 25,8,-1
    2.46 + 268.5 591 l 25,9,-1
    2.47 + 268.5 122 l 17,5,-1
    2.48 +EndSplineSet
    2.49 +EndChar
    2.50  EndChars
    2.51  EndSplineFont
     3.1 Binary file lib/fonts/IsabelleText.ttf has changed
     4.1 --- a/lib/fonts/IsabelleTextBold.sfd	Mon Feb 17 20:54:03 2014 +0100
     4.2 +++ b/lib/fonts/IsabelleTextBold.sfd	Mon Feb 17 21:37:41 2014 +0100
     4.3 @@ -19,7 +19,7 @@
     4.4  OS2_WeightWidthSlopeOnly: 0
     4.5  OS2_UseTypoMetrics: 1
     4.6  CreationTime: 1050374980
     4.7 -ModificationTime: 1389823579
     4.8 +ModificationTime: 1392669044
     4.9  PfmFamily: 17
    4.10  TTFWeight: 700
    4.11  TTFWidth: 5
    4.12 @@ -1674,8 +1674,8 @@
    4.13  DisplaySize: -48
    4.14  AntiAlias: 1
    4.15  FitToEm: 1
    4.16 -WinInfo: 9072 16 10
    4.17 -BeginChars: 1114112 1084
    4.18 +WinInfo: 8928 16 10
    4.19 +BeginChars: 1114112 1085
    4.20  
    4.21  StartChar: u10000
    4.22  Encoding: 65536 65536 0
    4.23 @@ -58502,5 +58502,27 @@
    4.24   1067 1072 l 1,9,-1
    4.25  EndSplineSet
    4.26  EndChar
    4.27 +
    4.28 +StartChar: house
    4.29 +Encoding: 8962 8962 1084
    4.30 +Width: 1233
    4.31 +Flags: W
    4.32 +LayerCount: 2
    4.33 +Fore
    4.34 +SplineSet
    4.35 +110 0 m 9,0,-1
    4.36 + 110 682 l 25,1,-1
    4.37 + 616 1220 l 25,2,-1
    4.38 + 1123 682 l 25,3,-1
    4.39 + 1123 0 l 17,4,-1
    4.40 + 110 0 l 9,0,-1
    4.41 +298 187 m 17,5,-1
    4.42 + 935 187 l 9,6,-1
    4.43 + 935 625 l 25,7,-1
    4.44 + 616 959 l 25,8,-1
    4.45 + 298 625 l 25,9,-1
    4.46 + 298 187 l 17,5,-1
    4.47 +EndSplineSet
    4.48 +EndChar
    4.49  EndChars
    4.50  EndSplineFont
     5.1 Binary file lib/fonts/IsabelleTextBold.ttf has changed
     6.1 --- a/src/Pure/General/position.ML	Mon Feb 17 20:54:03 2014 +0100
     6.2 +++ b/src/Pure/General/position.ML	Mon Feb 17 21:37:41 2014 +0100
     6.3 @@ -192,7 +192,7 @@
     6.4          (SOME i, NONE) => "(line " ^ Markup.print_int i ^ ")"
     6.5        | (SOME i, SOME name) => "(line " ^ Markup.print_int i ^ " of " ^ quote name ^ ")"
     6.6        | (NONE, SOME name) => "(file " ^ quote name ^ ")"
     6.7 -      | _ => "");
     6.8 +      | _ => if is_reported pos then "\\<here>" else "");
     6.9    in
    6.10      if null props then ""
    6.11      else (if s = "" then "" else " ") ^ Markup.markup (Markup.properties props Markup.position) s