# HG changeset patch
# User wenzelm
# Date 1455889812 -3600
# Node ID e4119d366ab001c6ac7711e0672ac13024ac0a8a
# Parent  746d1698f31cc5b0f043d1e9667657a007f0189a
tutorial is old;

diff -r 746d1698f31c -r e4119d366ab0 doc/Contents
--- a/doc/Contents	Fri Feb 19 07:57:23 2016 +0100
+++ b/doc/Contents	Fri Feb 19 14:50:12 2016 +0100
@@ -1,6 +1,5 @@
 Tutorials!
   prog-prove      Programming and Proving in Isabelle/HOL
-  tutorial        Tutorial on Isabelle/HOL
   locales         Tutorial on Locales
   classes         Tutorial on Type Classes
   datatypes       Tutorial on (Co)datatype Definitions
@@ -19,6 +18,7 @@
   jedit           Isabelle/jEdit
 
 Old Manuals
+  tutorial        Tutorial on Isabelle/HOL
   intro           Old Introduction to Isabelle
   logics          Isabelle's Logics: HOL and misc logics
   logics-ZF       Isabelle's Logics: FOL and ZF