replaced ETX/EOT by ENQ/ACK, which are less likely to be interpreted by tty etc.;
authorwenzelm
Thu Apr 03 18:42:36 2008 +0200 (2008-04-03)
changeset 26538d65504ffb47d
parent 26537 188961eb1f08
child 26539 a0754be538ab
replaced ETX/EOT by ENQ/ACK, which are less likely to be interpreted by tty etc.;
src/Pure/General/symbol.ML
     1.1 --- a/src/Pure/General/symbol.ML	Thu Apr 03 18:42:34 2008 +0200
     1.2 +++ b/src/Pure/General/symbol.ML	Thu Apr 03 18:42:36 2008 +0200
     1.3 @@ -10,8 +10,8 @@
     1.4    type symbol
     1.5    val SOH: symbol
     1.6    val STX: symbol
     1.7 -  val ETX: symbol
     1.8 -  val EOT: symbol
     1.9 +  val ENQ: symbol
    1.10 +  val ACK: symbol
    1.11    val DEL: symbol
    1.12    val space: symbol
    1.13    val spaces: int -> string
    1.14 @@ -87,8 +87,8 @@
    1.15  
    1.16  val SOH = chr 1;
    1.17  val STX = chr 2;
    1.18 -val ETX = chr 3;
    1.19 -val EOT = chr 4;
    1.20 +val ENQ = chr 5;
    1.21 +val ACK = chr 6;
    1.22  val DEL = chr 127;
    1.23  
    1.24  val space = chr 32;