1.1 --- a/doc-src/IsarImplementation/IsaMakefile	Wed Mar 11 19:27:48 2009 +0100
     1.2 +++ b/doc-src/IsarImplementation/IsaMakefile	Wed Mar 11 20:09:23 2009 +0100
     1.3 @@ -17,7 +17,7 @@
     1.4  USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
     1.5  
     1.6  
     1.7 -## Thy
     1.8 +## sessions
     1.9  
    1.10  Thy: $(LOG)/Pure-Thy.gz
    1.11