version 1.1.1.1, 2001/10/02 11:16:56 |
version 1.2, 2002/09/11 07:26:42 |
|
|
\centerline{\mine PARI / GP} |
\centerline{\mine PARI / GP} |
\vskip 1.truecm |
\vskip 1.truecm |
\authors |
\authors |
\centerline{last updated 28 August 2001} |
\centerline{last updated 13 March 2002} |
\centerline{for version \vers} |
\centerline{for version \vers} |
\endtitle |
\endtitle |
|
|
|
|
\ifPDF |
\ifPDF |
%% This puts the hyperlink command in the index, linked to the page |
%% This puts the hyperlink command in the index, linked to the page |
%% number. #1 is the usual page number, #2 the pdfcounter. CHB |
%% number. #1 is the usual page number, #2 the pdfcounter. CHB |
\def\indxjump#1#2{\pdfannotlink attr {/Border [ 0 0 0 ] /H /O} |
\def\indxjump#1#2{\pdfstartlink attr {/Border [ 0 0 0 ] /H /O} |
goto name {pdf@#2}\pushcolor{\linkcolor}#1\popcolor\pdfendlink} |
goto name {pdf@#2}\pushcolor{\linkcolor}#1\popcolor\pdfendlink} |
\else |
\else |
\def\indxjump#1#2{#1} |
\def\indxjump#1#2{#1} |