Matthew Flatt e5756667d6 use PDF-based picts in the Latex build of the Quick tutorial; in general, change a .pdf image extension to .png for HTML output; add package-original-identifiers and fix package-exporte-identifiers ...

svn: r13432

2009-02-04 21:03:28 +00:00

2.4 KiB

Raw History