Enhancements for the scribble language (a documentation language based on Racket)
Go to file
Matthew Flatt ae5d9f9413 scribble/manual: add #:normalize?' option to deftech' et al.
original commit: 5e5e5038597c468ef699cf8c9fbc0a1577ca0d0d
2012-08-20 17:37:24 -06:00
collects scribble/manual: add #:normalize?' option to deftech' et al. 2012-08-20 17:37:24 -06:00