helm/interface/uris_of_filenames.pl

   1 #!/usr/bin/perl
   2
   3 while(<STDIN>) {
   4    chomp;
   5    split / /;
   6    for (@_) {
   7       if (/.*\.(con|var|ind)\.xml/)
   8        { s/\./cic:/; }
   9       elsif (/.*\.theory\.xml/)
  10        { s/\./theory:/; }
  11       s/\.xml//;
  12       print;
  13       print "\n";
  14  }
  15 }