--- 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
--- 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
--- 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