more explicit indication of old manuals;
authorwenzelm
Thu Feb 26 20:09:14 2009 +0100 (2009-02-26)
changeset 30118df610709eda5
parent 30116 1fb1833cb199
child 30119 391e12ff816c
more explicit indication of old manuals;
doc-src/Intro/intro.tex
doc-src/Ref/ref.tex
doc/Contents
     1.1 --- a/doc-src/Intro/intro.tex	Thu Feb 26 20:03:32 2009 +0100
     1.2 +++ b/doc-src/Intro/intro.tex	Thu Feb 26 20:09:14 2009 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  %prth *(\(.*\));          \1;      
     1.5  %{\\out \(.*\)}          {\\out val it = "\1" : thm}
     1.6  
     1.7 -\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Introduction to Isabelle}   
     1.8 +\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Old Introduction to Isabelle}   
     1.9  \author{{\em Lawrence C. Paulson}\\
    1.10          Computer Laboratory \\ University of Cambridge \\
    1.11          \texttt{lcp@cl.cam.ac.uk}\\[3ex] 
     2.1 --- a/doc-src/Ref/ref.tex	Thu Feb 26 20:03:32 2009 +0100
     2.2 +++ b/doc-src/Ref/ref.tex	Thu Feb 26 20:09:14 2009 +0100
     2.3 @@ -7,7 +7,7 @@
     2.4  %%% to delete old ones:  \\indexbold{\*[^}]*}
     2.5  %% run    sedindex ref    to prepare index file
     2.6  %%% needs chapter on Provers/typedsimp.ML?
     2.7 -\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle Reference Manual}
     2.8 +\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Old Isabelle Reference Manual}
     2.9  
    2.10  \author{{\em Lawrence C. Paulson}\\
    2.11          Computer Laboratory \\ University of Cambridge \\
     3.1 --- a/doc/Contents	Thu Feb 26 20:03:32 2009 +0100
     3.2 +++ b/doc/Contents	Thu Feb 26 20:09:14 2009 +0100
     3.3 @@ -13,8 +13,8 @@
     3.4    system          The Isabelle System Manual
     3.5  
     3.6  Old Manuals (outdated!)
     3.7 -  intro           Introduction to Isabelle
     3.8 -  ref             The Isabelle Reference Manual
     3.9 +  intro           Old Introduction to Isabelle
    3.10 +  ref             Old Isabelle Reference Manual
    3.11    logics          Isabelle's Logics: overview and misc logics
    3.12    logics-HOL      Isabelle's Logics: HOL
    3.13    logics-ZF       Isabelle's Logics: FOL and ZF