# HG changeset patch
# User wenzelm
# Date 1210368093 -7200
# Node ID 60058b050c58b444fa1c247bb6e6f9bec649c0e8
# Parent  6274cf7e2b8edbfe856219aff4bd87ea16243eb6
removed outdated comment;

diff -r 6274cf7e2b8e -r 60058b050c58 doc-src/isar.sty
--- a/doc-src/isar.sty	Fri May 09 23:20:43 2008 +0200
+++ b/doc-src/isar.sty	Fri May 09 23:21:33 2008 +0200
@@ -1,8 +1,5 @@
 
 %% $Id$
-%%
-%% Isar language elements
-%%
 
 \usepackage{ifthen}