diff admin/revdiff @ 48707:e84d99848b76

(define-widget number): Clarify doc and error message. (define-widget float): New widget.
author Markus Rost <rost@math.uni-bielefeld.de>
date Sat, 07 Dec 2002 20:15:43 +0000
parents 570be39418f4
children 23a1cea22d13
line wrap: on
line diff