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