explicit section for old/outdated manuals, which are still informative to some extent;
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