explicit section for old/outdated manuals, which are still informative to some extent;
authorwenzelm
Sun Feb 15 21:26:25 2009 +0100 (2009-02-15)
changeset 29747bab2371e0348
parent 29746 533c27b43ee1
child 29748 2ff24d87fad1
explicit section for old/outdated manuals, which are still informative to some extent;
doc-src/Dirs
doc/Contents
     1.1 --- a/doc-src/Dirs	Sun Feb 15 18:56:13 2009 +0100
     1.2 +++ b/doc-src/Dirs	Sun Feb 15 21:26:25 2009 +0100
     1.3 @@ -1,1 +1,1 @@
     1.4 -Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen IsarAdvanced/Functions
     1.5 +Intro Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen IsarAdvanced/Functions
     2.1 --- a/doc/Contents	Sun Feb 15 18:56:13 2009 +0100
     2.2 +++ b/doc/Contents	Sun Feb 15 21:26:25 2009 +0100
     2.3 @@ -6,13 +6,16 @@
     2.4    functions       Tutorial on Function Definitions
     2.5    codegen         Tutorial on Code Generation
     2.6    sugar           LaTeX sugar for proof documents
     2.7 -  ind-defs        (Co)Inductive Definitions in ZF
     2.8  
     2.9  Reference Manuals
    2.10    isar-ref        The Isabelle/Isar Reference Manual
    2.11    implementation  The Isabelle/Isar Implementation Manual
    2.12    system          The Isabelle System Manual
    2.13 +
    2.14 +Old Manuals (outdated!)
    2.15 +  intro           Introduction to Isabelle
    2.16    ref             The Isabelle Reference Manual
    2.17    logics          Isabelle's Logics: overview and misc logics
    2.18    logics-HOL      Isabelle's Logics: HOL
    2.19    logics-ZF       Isabelle's Logics: FOL and ZF
    2.20 +  ind-defs        (Co)Inductive Definitions in ZF