| changeset 6623 | 021728c71030 |
| parent 6618 | 13293a7d4a57 |
| child 7838 | 5aca258fedcf |
--- a/doc-src/Ref/ref.tex Mon May 10 15:35:03 1999 +0200 +++ b/doc-src/Ref/ref.tex Mon May 10 16:35:22 1999 +0200 @@ -1,5 +1,5 @@ \documentclass[12pt]{report} -\usepackage{url,graphicx,a4,../iman,../extra,../proof,../rail,../pdfsetup} +\usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../pdfsetup} %% $Id$ %%\includeonly{}