equal
deleted
inserted
replaced
21 id => sub { |
21 id => sub { |
22 my ($file, @content) = @_; |
22 my ($file, @content) = @_; |
23 }, |
23 }, |
24 thyheader => sub { |
24 thyheader => sub { |
25 my ($file, @content) = @_; |
25 my ($file, @content) = @_; |
26 #~ my $diag = 1; |
26 my $diag = 1; |
27 my $diag = 0; |
27 #~ my $diag = 0; |
28 $_ = join("", @content); |
28 $_ = join("", @content); |
29 if (m!^theory!cgoms) { |
29 if (m!^theory!cgoms) { |
30 my $prelude = $`; |
30 my $prelude = $`; |
31 my $thyheader = "theory"; |
31 my $thyheader = "theory"; |
32 $thyheader .= skip_wscomment(); |
32 $thyheader .= skip_wscomment(); |
61 #~ m!\G.{19}!cgoms; |
61 #~ m!\G.{19}!cgoms; |
62 #~ print "***$&\n"; |
62 #~ print "***$&\n"; |
63 |
63 |
64 if (m!\G(?:begin|:)!cgoms) { |
64 if (m!\G(?:begin|:)!cgoms) { |
65 my $postlude = $'; |
65 my $postlude = $'; |
66 if ($& == ":") { |
66 if ($& eq ":") { |
67 $thyheader .= " "; |
67 $thyheader .= " "; |
68 } |
68 } |
69 $thyheader .= "begin"; |
69 $thyheader .= "begin"; |
70 # do replacement here |
70 # do replacement here |
71 if ($diag) { |
71 if ($diag) { |