Matthew Flatt ef2005e586 scribble/manual: add #:id' option to defthing' ... Use this open in the HtDP language documentation in the same way as for `defproc', which fixes the docs for `pi', `e', etc. original commit: 8d03995b628771e529aa56403dbdd29a8e0926d5		2013-03-05 07:48:26 -07:00
..
help	Revise commented code so it can replace exiting code without dependency issues.	2012-01-26 13:20:26 -05:00
scribble	scribble/manual: add #:id' option to defthing'	2013-03-05 07:48:26 -07:00
scribblings/scribble	scribble/manual: add #:id' option to defthing'	2013-03-05 07:48:26 -07:00
scriblib	autobib: document #:spaces keyword	2013-03-04 19:00:03 -07:00
tests	scribble: fix regression in HTML rendering	2013-03-04 07:53:18 -07:00