1.1 --- a/doc-src/IsarImplementation/implementation.tex	Mon Sep 04 19:49:39 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/implementation.tex	Mon Sep 04 20:07:55 2006 +0200
     1.3 @@ -18,7 +18,9 @@
     1.4    \\[4ex] The Isabelle/Isar Implementation}
     1.5  \author{\emph{Makarius Wenzel}}
     1.6  
     1.7 -\makeglossary
     1.8 +%FIXME
     1.9 +%\makeglossary
    1.10 +
    1.11  \makeindex
    1.12  
    1.13  
    1.14 @@ -78,8 +80,9 @@
    1.15  \bibliography{../manual}
    1.16  \endgroup
    1.17  
    1.18 -\tocentry{\glossaryname}
    1.19 -\printglossary
    1.20 +%FIXME
    1.21 +%\tocentry{\glossaryname}
    1.22 +%\printglossary
    1.23  
    1.24  \tocentry{\indexname}
    1.25  \printindex