Initial revision

[helm.git] / helm / interface / uris_of_filenames.pl

diff --git a/helm/interface/uris_of_filenames.pl b/helm/interface/uris_of_filenames.pl
new file mode 100755 (executable)
index 0000000..d738f51
--- /dev/null
+++ b/helm/interface/uris_of_filenames.pl
@@ -0,0 +1,15 @@
+#!/usr/bin/perl
+
+while(<STDIN>) {
+   chomp;
+   split / /;
+   for (@_) {
+      if (/.*\.(con|var|ind)\.xml/)
+       { s/\./cic:/; }
+      elsif (/.*\.theory\.xml/)
+       { s/\./theory:/; }
+      s/\.xml//;
+      print;
+      print "\n";
+ }
+}