Admin/isa-migrate

--- a/Admin/isa-migrate	Fri Jun 17 11:35:35 2005 +0200
+++ b/Admin/isa-migrate	Fri Jun 17 16:12:49 2005 +0200
@@ -23,8 +23,8 @@
     },
     thyheader => sub {
         my ($file, @content) = @_;
-        my $diag = 1;
-        #~ my $diag = 0;
+        #~ my $diag = 1;
+        my $diag = 0;
         $_ = join("", @content);
         if (m!^theory!cgoms) {
             my $prelude = $`;