and ask the user for permission to set buffer-local variables depending on
the user's configuration. Not really needed since this doesn't get edited
often.
Bumped the version number to 1.5; date still needs to be set.
-\input texinfo @c -*-texinfo-*-
+\input texinfo
@c %**start of header
@setfilename python-lib.info
@settitle Python library reference
Reference Manual} gives a more formal definition of the language.
(These manuals are not yet available in INFO or Texinfo format.)
-This version corresponds to Python version 1.4 (Oct 25 1996).
+This version corresponds to Python version 1.5 (Oct 25 1996).
@end ifinfo
-\input texinfo @c -*-texinfo-*-
+\input texinfo
@c %**start of header
@setfilename python-lib.info
@settitle Python library reference
Reference Manual} gives a more formal definition of the language.
(These manuals are not yet available in INFO or Texinfo format.)
-This version corresponds to Python version 1.4 (Oct 25 1996).
+This version corresponds to Python version 1.5 (Oct 25 1996).
@end ifinfo