Changed emacs 24.3 to support the times character.  Also removed
starred documentation strings.