# HG changeset patch
# User wenzelm
# Date 1024590226 -7200
# Node ID 031b119d265dc80eb02d9581a2bbd3ac7734b9e9
# Parent  aea757ff88ce768a46876b2080bd4d825053c105
tuned;

diff -r aea757ff88ce -r 031b119d265d doc-src/IsarTut/Tutorial/Tutorial.thy
--- a/doc-src/IsarTut/Tutorial/Tutorial.thy	Wed Jun 19 14:38:10 2002 +0200
+++ b/doc-src/IsarTut/Tutorial/Tutorial.thy	Thu Jun 20 18:23:46 2002 +0200
@@ -5,6 +5,12 @@
 
 chapter {* Introduction *}
 
+chapter {* Technical issues *}
+
+section {* Source texts *}
+
+section {* Interaction and debugging *}
+
 section {* Step-by-step examples *}
 
 subsection {* Summing natural numbers *}