isa-migrate ++
authorhaftmann
Thu Jun 16 10:37:39 2005 +0200 (2005-06-16)
changeset 16407e3c3405613c5
parent 16406 4f393b8f84b7
child 16408 9bbaa5695691
isa-migrate ++
Admin/isa-migrate
     1.1 --- a/Admin/isa-migrate	Thu Jun 16 10:30:26 2005 +0200
     1.2 +++ b/Admin/isa-migrate	Thu Jun 16 10:37:39 2005 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4          my $diag = 0;
     1.5          $_ = join("", @content);
     1.6          if (m!^theory!cgoms) {
     1.7 -            my $prelude = $';
     1.8 +            my $prelude = $`;
     1.9              my $thyheader = "theory";
    1.10              $thyheader .= skip_wscomment();
    1.11              if (m!\G(\S+)!cgoms) {