doc-src/IsarImplementation/IsaMakefile
changeset 30456 d21bc48823b7
parent 30124 b956bf0dc87c
child 30458 804de935c328
--- 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