lib/scripts/recode.pl
author nipkow
Fri May 30 18:13:40 2014 +0200 (2014-05-30)
changeset 57136 653e56c6c963
parent 52835 0906c00bb21d
child 62506 860cd901ab43
permissions -rw-r--r--
must not cancel common factors on both sides of (in)equations in linear arithmetic decicision procedure
     1 #
     2 # Author: Makarius
     3 #
     4 # recode.pl - recode utf8 for ML
     5 #
     6 
     7 for (@ARGV) {
     8   utf8::upgrade($_);
     9   s/([\x80-\xff])/\\${\(ord($1))}/g;
    10   print $_, " ";
    11 }
    12