Matthew Flatt 82b6b41ac3 fix HTML problems that affect Opera; add ++style to scribble executable; fix some Latex back-end issues ... svn: r11997 original commit: 4fe97848b2af639c8c13b3a7d4593cad4db14360		2008-10-12 15:53:49 +00:00
..
scribble	fix HTML problems that affect Opera; add ++style to scribble executable; fix some Latex back-end issues	2008-10-12 15:53:49 +00:00