1.1 --- a/doc-src/isar.sty	Fri May 09 23:20:43 2008 +0200
     1.2 +++ b/doc-src/isar.sty	Fri May 09 23:21:33 2008 +0200
     1.3 @@ -1,8 +1,5 @@
     1.4  
     1.5  %% $Id$
     1.6 -%%
     1.7 -%% Isar language elements
     1.8 -%%
     1.9  
    1.10  \usepackage{ifthen}
    1.11