# HG changeset patch
# User haftmann
# Date 1131459995 -3600
# Node ID 50e63c68768fb481ec37cd2629c21bd06af5a6f8
# Parent  a310c78298f9f20ea23f8c2cce635bb8d20336e8
allowing indentation of 'theory' keyword

diff -r a310c78298f9 -r 50e63c68768f lib/scripts/fixheaders.pl
--- a/lib/scripts/fixheaders.pl	Tue Nov 08 10:44:40 2005 +0100
+++ b/lib/scripts/fixheaders.pl	Tue Nov 08 15:26:35 2005 +0100
@@ -24,9 +24,9 @@
     close ISTREAM or die $!;
     my $content = join("", @content);
     $_ = $content;
-    if (m!^theory!cgoms) {
+    if (m!^(\s*theory)!cgoms) {
         my $prelude = $`;
-        my $thyheader = "theory";
+        my $thyheader = $1;
         $thyheader .= skip_wscomment();
         if (m!\G(\S+)!cgoms) {
             $thyheader .= $1;