1. 03 Jan, 2003 5 commits
  2. 02 Jan, 2003 31 commits
  3. 01 Jan, 2003 4 commits
    • Tim Peters's avatar
      A quicker astimezone() implementation, rehabilitating an earlier · 300d3b11
      Tim Peters authored
      suggestion from Guido, along with a formal correctness proof of the
      trickiest bit.  The intricacy of the proof reveals how delicate this
      is, but also how robust the conclusion:  correctness doesn't rely on
      dst() returning +- one hour (not all real time zones do!), it only
      relies on:
      
      1. That dst() returns a (any) non-zero value if and only if daylight
         time is in effect.
      
      and
      
      2. That the tzinfo subclass implements a consistent notion of time zone.
      
      The meaning of "consistent" was a hidden assumption, which is now an
      explicit requirement in the docs.  Alas, it's an unverifiable (by the
      datetime implementation) requirement, but so it goes.
      300d3b11
    • Skip Montanaro's avatar
      mention built-in constants. · 38f8c090
      Skip Montanaro authored
      38f8c090
    • Skip Montanaro's avatar
      process libconsts.tex · 4c30c0df
      Skip Montanaro authored
      4c30c0df
    • Skip Montanaro's avatar
      new section - builtin constants · 7c0dc9ea
      Skip Montanaro authored
      7c0dc9ea