Robby Findler 79501a56b0 trim the list of new dots down to those that our latex ... setup seems to handle (and actually add them to latex-render.rkt ...) original commit: 11969cdfa6188b254383882d73a1c1fe7997ac65		2013-03-13 10:13:34 -05:00
collects	trim the list of new dots down to those that our latex	2013-03-13 10:13:34 -05:00
doc/release-notes	remove unsupported MDI styles and method	2011-08-04 08:02:54 -06:00
man/man1	minor man-page corrections	2011-02-01 08:01:17 -07:00