]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/latinize.pl
This commit was manufactured by cvs2svn to create tag 'initial'.
[helm.git] / helm / interface / latinize.pl
1 #!/usr/bin/perl
2
3 while(<STDIN>)
4 {
5   s/&#8594;/->/g;
6   s/&#8658;/=>/g;
7   s/&#955;/\\/g;
8   s/&#928;/||/g;
9   print;
10 }