www

commit 0b2b8b925d82f8631519ed09943e408186205e82
parent d5ad8f56ec2dd0e1567961b792fc42c6a9573907
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Thu, 22 Sep 2016 20:56:19 +0200

Fixed ∞ documentation

Diffstat:
M
scribblings/identifiers.scrbl
 | 
15
++++++++-------

1 file changed, 8 insertions(+), 7 deletions(-)
diff --git a/scribblings/identifiers.scrbl b/scribblings/identifiers.scrbl
@@ -14,9 +14,10 @@
 
 @defidform[^]{This identifier can only be used within xlist forms.}
 
-@defthing[∞]{This identifier is meant to be used within xlist
- forms, but is also equal to @racket[+inf.0] as a convenience. In the future,
- this package will make it possible for other packages to overload the meaning
- of the @racket[^] and @racket[∞] identifiers, so that the value of @racket[∞]
- may depend on the packages loaded (for example a symbolic math package may want
- to attach a special value to @racket[∞].}
-\ No newline at end of file
+@defidform[∞]{
+ This identifier is meant to be used within xlist forms, but is also equal to
+ @racket[+inf.0] as a convenience. In the future, this package will make it
+ possible for other packages to overload the meaning of the @racket[^] and
+ @racket[∞] identifiers, so that the value of @racket[∞] may depend on the
+ packages loaded (for example a symbolic math package may want to attach a
+ special value to @racket[∞].}
+\ No newline at end of file