1 #!/usr/bin/perl -w
1 #!/usr/local/dist/bin/perl -w
2 #
3 # $Id$
4 #
5 # fixencoding - fix references to isabelle font encoding
6