tumble / changelog

replaced page_number_format with page_label matching how PDF names

• Mon, 31 Dec 2001 16:44:24 +0000
• by eric [Mon, 31 Dec 2001 16:44:24 +0000] rev 25
• replaced page_number_format with page_label matching how PDF names
  and stores them.