Commit Graph

3 Commits

Author SHA1 Message Date
Matthew Flatt
098e9a37ff scribble/manual: generalize deprecated
original commit: 9dd9ffc2e2d63616a3f1790eff34a2cdafbc15de
2013-11-08 06:29:14 -07:00
Matthew Flatt
644ea52438 scribble HTML rendering merges style attributes
This change fixes using `color-property` and `background-color-property`
at the same time, for example.

original commit: d2e1396b136ecb4917233106ba805823207c6592
2013-11-08 05:49:32 -07:00
Matthew Flatt
4431dff8d9 scribble/base: extend verbatim to accept non-string arguments
original commit: 0f439667bfbbfbf1c78ea63dec17534b3280a295
2013-09-06 20:02:05 -06:00