------------------------------------------------------------------------
r5132 | dlsmith | 2009-11-20 16:10:18 -0600 (Fri, 20 Nov 2009) | 2 lines

Updated plt.jar; fixed some DrJava code to match the changes.

------------------------------------------------------------------------
r5130 | mgricken | 2009-11-06 15:52:25 -0600 (Fri, 06 Nov 2009) | 13 lines

Fixes badly scaled images in PDF files after attempting
to fix bug 2892129: Squished Images in Included Documentation

We now  ignore image scaling in HTML according to
http://www.sagehill.net/docbookxsl/ImageSizing.html#DiffImageSizes 
and
http://www.sagehill.net/docbookxsl/Parameters.html#ParameterSyntax

M    drjava/lib/docs.jar
M    docs/src/quickstart/quickstart.docbook
M    docs/src/user/userdoc.docbook
M    docs/build.xml

------------------------------------------------------------------------