# HG changeset patch
# User wenzelm
# Date 1236798563 -3600
# Node ID d21bc48823b7fb13b8610f0486b91caac4753747
# Parent  53d6a1c110f152e91faed9f7f095505652a04ee4
tuned;

diff -r 53d6a1c110f1 -r d21bc48823b7 doc-src/IsarImplementation/IsaMakefile
--- a/doc-src/IsarImplementation/IsaMakefile	Wed Mar 11 19:27:48 2009 +0100
+++ b/doc-src/IsarImplementation/IsaMakefile	Wed Mar 11 20:09:23 2009 +0100
@@ -17,7 +17,7 @@
 USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
 
 
-## Thy
+## sessions
 
 Thy: $(LOG)/Pure-Thy.gz
 
diff -r 53d6a1c110f1 -r d21bc48823b7 doc-src/IsarRef/IsaMakefile
--- a/doc-src/IsarRef/IsaMakefile	Wed Mar 11 19:27:48 2009 +0100
+++ b/doc-src/IsarRef/IsaMakefile	Wed Mar 11 20:09:23 2009 +0100
@@ -17,7 +17,7 @@
 USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
 
 
-## IsarRef sessions
+## sessions
 
 HOL-IsarRef: $(LOG)/HOL-IsarRef.gz
 
diff -r 53d6a1c110f1 -r d21bc48823b7 doc-src/System/IsaMakefile
--- a/doc-src/System/IsaMakefile	Wed Mar 11 19:27:48 2009 +0100
+++ b/doc-src/System/IsaMakefile	Wed Mar 11 20:09:23 2009 +0100
@@ -17,7 +17,7 @@
 USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
 
 
-## IsarRef sessions
+## sessions
 
 Pure-System: $(LOG)/Pure-System.gz