doc-src/pdfsetup.sty

* Isar/Pure: proper integration with ``locales''; unlike the original
version by Florian Kammueller, Isar locales package high-level proof
contexts rather than raw logical ones (e.g. we admit to include
attributes everywhere);
* Isar/Pure: theory goals now support ad-hoc contexts, which are
discharged in the result, as in ``lemma (assumes A and B) K: A .'';
syntax coincides with that of a locale body;

\message{pdfsetup.sty v0.1 11/7/2001}
\@ifundefined{pdfoutput}{\message{No PDF output}\usepackage{../url}}
{\message{Generating PDF output}%
  \usepackage{color}\definecolor{darkblue}{rgb}{0,0,0.5}%
  \usepackage[pdftex,colorlinks=true,linkcolor=darkblue,citecolor=darkblue,filecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue]{hyperref}%
              %no a4paper because overall style sets this (not for Springer!)
  \gdef\fnote#1{\hyperpage{#1}n}
  \gdef\bold#1{\textbf{\hyperpage{#1}}}}

\urlstyle{rm}