fixed url;
authorwenzelm
Thu Sep 09 13:24:26 1999 +0200 (1999-09-09)
changeset 7532a77d5feec304
parent 7531 99c7e60d6b3f
child 7533 1659dc4e3552
fixed url;
doc-src/IsarRef/intro.tex
doc-src/IsarRef/isar-ref.tex
     1.1 --- a/doc-src/IsarRef/intro.tex	Thu Sep 09 12:26:45 1999 +0200
     1.2 +++ b/doc-src/IsarRef/intro.tex	Thu Sep 09 13:24:26 1999 +0200
     1.3 @@ -76,9 +76,9 @@
     1.4  Occasionally, a user's \texttt{.emacs} contains material that is incompatible
     1.5  with the version of (X)Emacs that Proof~General prefers.  Then proper startup
     1.6  may be still achieved by using the \texttt{-u false} option.\footnote{Any
     1.7 -  Emacs lisp file \url{proofgeneral-settings.el} occurring in
     1.8 -  \url{$ISABELLE_HOME/etc} or \url{$ISABELLE_HOME_USER/etc} is automatically
     1.9 -  loaded by the Proof~General interface script as well.}
    1.10 +  Emacs lisp file \texttt{proofgeneral-settings.el} occurring in
    1.11 +  \texttt{\$ISABELLE_HOME/etc} or \texttt{\$ISABELLE_HOME_USER/etc} is
    1.12 +  automatically loaded by the Proof~General interface script as well.}
    1.13  
    1.14  \section{How to write Isar proofs anyway?}
    1.15  
     2.1 --- a/doc-src/IsarRef/isar-ref.tex	Thu Sep 09 12:26:45 1999 +0200
     2.2 +++ b/doc-src/IsarRef/isar-ref.tex	Thu Sep 09 13:24:26 1999 +0200
     2.3 @@ -2,7 +2,7 @@
     2.4  %% $Id$
     2.5  
     2.6  \documentclass[12pt,fleqn]{report}
     2.7 -\usepackage{graphicx,a4,../url,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup}
     2.8 +\usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup}
     2.9  
    2.10  \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual}
    2.11  \author{\emph{Markus Wenzel} \\ TU M\"unchen}