If they are put into __builtins__, the documentation won't need updating. ;-)
In that case, I'd rather prefer to correct the documentation.
Regards, Martin _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com