Enhancements for the scribble language (a documentation language based on Racket)
Go to file
Matthew Flatt 4fc0b01398 scribble: adjust `def...' box to show a background label in HTML
For example, a syntactic form box is labeled with "SYNTAX". Forms
such as `defform' and `defthing' now support a `#:kind' option
for setting the label.

original commit: 5ff3087677ec98ea626cca25b085f3c32138d5ca
2012-06-17 09:19:58 +08:00
collects scribble: adjust `def...' box to show a background label in HTML 2012-06-17 09:19:58 +08:00