Matthew Flatt 57064d2885 fix latex output with image in section title ... svn: r9253 original commit: db3c6931c85b272cad69b21ed56525e8c28ed9ae		2008-04-11 04:05:38 +00:00
..
help	svn: r8587	2008-02-08 19:09:28 +00:00
launcher	import	1998-01-13 22:13:43 +00:00
scribble	fix latex output with image in section title	2008-04-11 04:05:38 +00:00
scribblings/scribble	doc updates	2008-04-11 02:07:15 +00:00