Matthew Flatt f470e3c3a7 scribble HTML: add head-extra' and support for attributes' ... For a part that corresponds to an HTML page. original commit: dc925d2d8cb4802281981cd3a271c07f74234c4d		2012-09-11 17:18:14 -06:00
..
help	Revise commented code so it can replace exiting code without dependency issues.	2012-01-26 13:20:26 -05:00
scribble	scribble HTML: add head-extra' and support for attributes'	2012-09-11 17:18:14 -06:00
scribblings/scribble	scribble HTML: add head-extra' and support for attributes'	2012-09-11 17:18:14 -06:00
scriblib	adjust 'authors' from scriblib/autobib so that it	2012-08-14 21:34:09 -05:00
tests	scribble/manual: add #:normalize?' option to deftech' et al.	2012-08-20 17:37:24 -06:00