blob: 076d1e62ffde8fd4188afb7552bd8c39dd29a7ba (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/usr/bin/env perl
use warnings;
use strict;
while(<STDIN>) {
s/\&bar;/\|/g; # factor separator (legacy)
s/\|/\|/g; # factor separator
s/\</\</g; # xml
s/\>/\>/g; # xml
s/\&bra;/\[/g; # syntax non-terminal (legacy)
s/\&ket;/\]/g; # syntax non-terminal (legacy)
s/\"/\"/g; # xml
s/\'/\'/g; # xml
s/\[/\[/g; # syntax non-terminal
s/\]/\]/g; # syntax non-terminal
s/\&/\&/g; # escape escape
print $_;
}
|