We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent fc1fb21 commit a0a54c5Copy full SHA for a0a54c5
redex-doc/redex/scribblings/ref/typesetting.scrbl
@@ -431,8 +431,8 @@ This function sets @racket[dc-for-text-size]. See also
431
432
A parameter that controls the rendering of extended languages.
433
If the parameter value is @racket[#t], then a language constructed with
434
-extend-language is shown as if the language had been
435
-constructed directly with @racket[language]. If it is @racket[#f], then only
+@racket[define-extended-language] is shown as if the language had been
+constructed directly with @racket[define-language]. If it is @racket[#f], then only
436
the last extension to the language is shown (with
437
four-period ellipses, just like in the concrete syntax).
438
0 commit comments