Matthew Flatt f1aa676101 misc changes to speed up doc search generation ... Cuts about 30% of the time on my machine. original commit: 815fd1b49c7b7857aa08fd15c5ec77655ac84859		2012-06-08 16:08:55 +08:00
..
help	Revise commented code so it can replace exiting code without dependency issues.	2012-01-26 13:20:26 -05:00
scribble	misc changes to speed up doc search generation	2012-06-08 16:08:55 +08:00
scribblings/scribble	clarifications and additions to style guide	2012-06-03 04:50:06 +08:00
scriblib	Fixing PR12779	2012-05-28 11:52:56 -06:00
tests	Fixing PR12779	2012-05-28 11:52:56 -06:00