symbol interpretation for \<circle>;
authorwenzelm
Sat Feb 27 21:04:13 2016 +0100 (2016-02-27)
changeset 6244031fa592761da
parent 62439 2c01beb70cfb
child 62441 e5e38e1f2dd4
symbol interpretation for \<circle>;
Admin/components/components.sha1
Admin/components/main
NEWS
etc/symbols
lib/fonts/IsabelleText.sfd
lib/fonts/IsabelleTextBold.sfd
lib/texinputs/isabellesym.sty
     1.1 --- a/Admin/components/components.sha1	Sat Feb 27 20:42:13 2016 +0100
     1.2 +++ b/Admin/components/components.sha1	Sat Feb 27 21:04:13 2016 +0100
     1.3 @@ -42,6 +42,7 @@
     1.4  2730e1475c7d655655882e75743e0b451725a274  isabelle_fonts-20151231.tar.gz
     1.5  1f004a6bf20088a7e8f1b3d4153aa85de6fc1091  isabelle_fonts-20160101.tar.gz
     1.6  379d51ef3b71452dac34ba905def3daa8b590f2e  isabelle_fonts-20160102.tar.gz
     1.7 +878536aab1eaf1a52da560c20bb41ab942971fa3  isabelle_fonts-20160227.tar.gz
     1.8  8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
     1.9  38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
    1.10  d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz
     2.1 --- a/Admin/components/main	Sat Feb 27 20:42:13 2016 +0100
     2.2 +++ b/Admin/components/main	Sat Feb 27 21:04:13 2016 +0100
     2.3 @@ -4,7 +4,7 @@
     2.4  cvc4-1.5pre-3
     2.5  e-1.8
     2.6  Haskabelle-2015
     2.7 -isabelle_fonts-20160102
     2.8 +isabelle_fonts-20160227
     2.9  jdk-8u72
    2.10  jedit_build-20151124
    2.11  jfreechart-1.0.14-1
     3.1 --- a/NEWS	Sat Feb 27 20:42:13 2016 +0100
     3.2 +++ b/NEWS	Sat Feb 27 21:04:13 2016 +0100
     3.3 @@ -7,6 +7,11 @@
     3.4  New in this Isabelle version
     3.5  ----------------------------
     3.6  
     3.7 +*** General ***
     3.8 +
     3.9 +* New symbol \<circle>, e.g. for temporal operator.
    3.10 +
    3.11 +
    3.12  *** Isar ***
    3.13  
    3.14  * Command '\<proof>' is an alias for 'sorry', with different
     4.1 --- a/etc/symbols	Sat Feb 27 20:42:13 2016 +0100
     4.2 +++ b/etc/symbols	Sat Feb 27 21:04:13 2016 +0100
     4.3 @@ -220,6 +220,7 @@
     4.4  \<exists>               code: 0x002203  group: logic  abbrev: ?  abbrev: EX
     4.5  \<nexists>              code: 0x002204  group: logic  abbrev: ~?
     4.6  \<not>                  code: 0x0000ac  group: logic  abbrev: ~
     4.7 +\<circle>               code: 0x0025cb  group: logic
     4.8  \<box>                  code: 0x0025a1  group: logic
     4.9  \<diamond>              code: 0x0025c7  group: logic
    4.10  \<diamondop>            code: 0x0022c4  group: operator
     5.1 --- a/lib/fonts/IsabelleText.sfd	Sat Feb 27 20:42:13 2016 +0100
     5.2 +++ b/lib/fonts/IsabelleText.sfd	Sat Feb 27 21:04:13 2016 +0100
     5.3 @@ -19,7 +19,7 @@
     5.4  OS2_WeightWidthSlopeOnly: 0
     5.5  OS2_UseTypoMetrics: 1
     5.6  CreationTime: 1050361371
     5.7 -ModificationTime: 1451762222
     5.8 +ModificationTime: 1456601690
     5.9  PfmFamily: 17
    5.10  TTFWeight: 400
    5.11  TTFWidth: 5
    5.12 @@ -2241,11 +2241,11 @@
    5.13  DisplaySize: -96
    5.14  AntiAlias: 1
    5.15  FitToEm: 1
    5.16 -WinInfo: 8604 18 16
    5.17 +WinInfo: 9504 18 16
    5.18  BeginPrivate: 0
    5.19  EndPrivate
    5.20  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
    5.21 -BeginChars: 1114189 1403
    5.22 +BeginChars: 1114189 1404
    5.23  
    5.24  StartChar: u10000
    5.25  Encoding: 65536 65536 0
    5.26 @@ -62426,5 +62426,52 @@
    5.27   3176.65 270.26 3176.65 270.26 3103.39 270.26 c 2,50,-1
    5.28  EndSplineSet
    5.29  EndChar
    5.30 +
    5.31 +StartChar: circle
    5.32 +Encoding: 9675 9675 1403
    5.33 +Width: 1724
    5.34 +VWidth: 2220
    5.35 +Flags: W
    5.36 +HStem: -184 55<672.735 1052.17> 1239 55<672.828 1052.27>
    5.37 +VStem: 124 56<362.596 745.19> 1545 56<364.81 747.404>
    5.38 +LayerCount: 2
    5.39 +Fore
    5.40 +SplineSet
    5.41 +1601 555 m 0,0,1
    5.42 + 1601 406 1601 406 1542.5 269.5 c 128,-1,2
    5.43 + 1484 133 1484 133 1385.5 33.5 c 128,-1,3
    5.44 + 1287 -66 1287 -66 1149.5 -125 c 128,-1,4
    5.45 + 1012 -184 1012 -184 861 -184 c 0,5,6
    5.46 + 713 -184 713 -184 577 -126 c 128,-1,7
    5.47 + 441 -68 441 -68 341.5 30.5 c 128,-1,8
    5.48 + 242 129 242 129 183 266.5 c 128,-1,9
    5.49 + 124 404 124 404 124 555 c 0,10,11
    5.50 + 124 704 124 704 182.5 840.5 c 128,-1,12
    5.51 + 241 977 241 977 339.5 1076.5 c 128,-1,13
    5.52 + 438 1176 438 1176 575.5 1235 c 128,-1,14
    5.53 + 713 1294 713 1294 864 1294 c 0,15,16
    5.54 + 1012 1294 1012 1294 1148 1236 c 128,-1,17
    5.55 + 1284 1178 1284 1178 1383 1079.5 c 128,-1,18
    5.56 + 1482 981 1482 981 1541.5 843.5 c 128,-1,19
    5.57 + 1601 706 1601 706 1601 555 c 0,0,1
    5.58 +864 -129 m 0,20,21
    5.59 + 1001 -129 1001 -129 1126.5 -75 c 128,-1,22
    5.60 + 1252 -21 1252 -21 1344 70.5 c 128,-1,23
    5.61 + 1436 162 1436 162 1490.5 288.5 c 128,-1,24
    5.62 + 1545 415 1545 415 1545 555 c 0,25,26
    5.63 + 1545 693 1545 693 1491 819.5 c 128,-1,27
    5.64 + 1437 946 1437 946 1346 1038 c 128,-1,28
    5.65 + 1255 1130 1255 1130 1128 1184.5 c 128,-1,29
    5.66 + 1001 1239 1001 1239 861 1239 c 0,30,31
    5.67 + 724 1239 724 1239 598.5 1185 c 128,-1,32
    5.68 + 473 1131 473 1131 381 1039.5 c 128,-1,33
    5.69 + 289 948 289 948 234.5 821.5 c 128,-1,34
    5.70 + 180 695 180 695 180 555 c 0,35,36
    5.71 + 180 417 180 417 234 290.5 c 128,-1,37
    5.72 + 288 164 288 164 379 72 c 128,-1,38
    5.73 + 470 -20 470 -20 597 -74.5 c 128,-1,39
    5.74 + 724 -129 724 -129 864 -129 c 0,20,21
    5.75 +EndSplineSet
    5.76 +EndChar
    5.77  EndChars
    5.78  EndSplineFont
     6.1 --- a/lib/fonts/IsabelleTextBold.sfd	Sat Feb 27 20:42:13 2016 +0100
     6.2 +++ b/lib/fonts/IsabelleTextBold.sfd	Sat Feb 27 21:04:13 2016 +0100
     6.3 @@ -20,7 +20,7 @@
     6.4  OS2_WeightWidthSlopeOnly: 0
     6.5  OS2_UseTypoMetrics: 1
     6.6  CreationTime: 1050374980
     6.7 -ModificationTime: 1451762294
     6.8 +ModificationTime: 1456601640
     6.9  PfmFamily: 17
    6.10  TTFWeight: 700
    6.11  TTFWidth: 5
    6.12 @@ -1678,10 +1678,10 @@
    6.13  DisplaySize: -96
    6.14  AntiAlias: 1
    6.15  FitToEm: 1
    6.16 -WinInfo: 8589 21 15
    6.17 +WinInfo: 9513 21 15
    6.18  BeginPrivate: 0
    6.19  EndPrivate
    6.20 -BeginChars: 1114115 1395
    6.21 +BeginChars: 1114115 1396
    6.22  
    6.23  StartChar: .notdef
    6.24  Encoding: 1114112 -1 0
    6.25 @@ -68806,5 +68806,51 @@
    6.26   1527.71 468.866 1527.71 468.866 1456.29 435.035 c 2,67,-1
    6.27  EndSplineSet
    6.28  EndChar
    6.29 +
    6.30 +StartChar: circle
    6.31 +Encoding: 9675 9675 1395
    6.32 +Width: 1724
    6.33 +Flags: W
    6.34 +HStem: -235 157<631.134 1093.26> 1188 157<631.737 1093.87>
    6.35 +VStem: 73 158<325.375 786.478> 1494 158<323.522 784.955>
    6.36 +LayerCount: 2
    6.37 +Fore
    6.38 +SplineSet
    6.39 +1589.5 250 m 128,-1,1
    6.40 + 1527 104 1527 104 1421.5 -2.5 c 128,-1,2
    6.41 + 1316 -109 1316 -109 1169 -172 c 128,-1,3
    6.42 + 1022 -235 1022 -235 861 -235 c 0,4,5
    6.43 + 703 -235 703 -235 557.5 -173 c 128,-1,6
    6.44 + 412 -111 412 -111 305.5 -5.5 c 128,-1,7
    6.45 + 199 100 199 100 136 247 c 128,-1,8
    6.46 + 73 394 73 394 73 555 c 0,9,10
    6.47 + 73 714 73 714 135.5 860 c 128,-1,11
    6.48 + 198 1006 198 1006 303.5 1112.5 c 128,-1,12
    6.49 + 409 1219 409 1219 556 1282 c 128,-1,13
    6.50 + 703 1345 703 1345 864 1345 c 0,14,15
    6.51 + 1022 1345 1022 1345 1167.5 1283 c 128,-1,16
    6.52 + 1313 1221 1313 1221 1419 1115.5 c 128,-1,17
    6.53 + 1525 1010 1525 1010 1588.5 863.5 c 128,-1,18
    6.54 + 1652 717 1652 717 1652 555 c 0,19,0
    6.55 + 1652 396 1652 396 1589.5 250 c 128,-1,1
    6.56 +864 -78 m 0,20,21
    6.57 + 990 -78 990 -78 1106.5 -28 c 128,-1,22
    6.58 + 1223 22 1223 22 1308 106.5 c 128,-1,23
    6.59 + 1393 191 1393 191 1443.5 308.5 c 128,-1,24
    6.60 + 1494 426 1494 426 1494 555 c 0,25,26
    6.61 + 1494 683 1494 683 1444 800 c 128,-1,27
    6.62 + 1394 917 1394 917 1310 1002 c 128,-1,28
    6.63 + 1226 1087 1226 1087 1108.5 1137.5 c 128,-1,29
    6.64 + 991 1188 991 1188 861 1188 c 0,30,31
    6.65 + 735 1188 735 1188 618.5 1138 c 128,-1,32
    6.66 + 502 1088 502 1088 417 1003.5 c 128,-1,33
    6.67 + 332 919 332 919 281.5 801.5 c 128,-1,34
    6.68 + 231 684 231 684 231 555 c 0,35,36
    6.69 + 231 427 231 427 281 310 c 128,-1,37
    6.70 + 331 193 331 193 415 108 c 128,-1,38
    6.71 + 499 23 499 23 616.5 -27.5 c 128,-1,39
    6.72 + 734 -78 734 -78 864 -78 c 0,20,21
    6.73 +EndSplineSet
    6.74 +EndChar
    6.75  EndChars
    6.76  EndSplineFont
     7.1 --- a/lib/texinputs/isabellesym.sty	Sat Feb 27 20:42:13 2016 +0100
     7.2 +++ b/lib/texinputs/isabellesym.sty	Sat Feb 27 21:04:13 2016 +0100
     7.3 @@ -222,6 +222,7 @@
     7.4  \newcommand{\isasymexists}{\isamath{\exists\,}}
     7.5  \newcommand{\isasymnot}{\isamath{\neg}}
     7.6  \newcommand{\isasymnexists}{\isamath{\nexists\,}}  %requires amssymb
     7.7 +\newcommand{\isasymcircle}{\isamath{\ocircle}}  %requires wasysym
     7.8  \newcommand{\isasymbox}{\isamath{\Box}}  %requires amssymb
     7.9  \newcommand{\isasymdiamond}{\isamath{\Diamond}}  %requires amssymb
    7.10  \newcommand{\isasymdiamondop}{\isamath{\diamond}}