Time in Portugal

Friends of mine who visited Portugal in August/September last year say that it is (i.e. was then) on the same time as Vienna (from where they flew to Lisbon) and Prague (where they live at the moment), which contradicts tzdata1997i. Is anyone on this list in a better position to follow this up than I? _______________ Alex LIVINGSTON Macintosh Support Information Technology (IT) Australian Graduate School of Management (AGSM) The University of New South Wales (UNSW) [Sydney] NSW 2052 AUSTRALIA E-mail : alex@agsm.unsw.edu.au; cit@agsm.unsw.edu.au (IT) Facsimile: +61 2 9931-9349 Telephone: +61 2 9931-9264 Time : UT/GMT + 10 (Sun. Mar. 25-31 - Sat. Oct. 24-30) or 11 hours