]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/latinize.pl
Initial revision
[helm.git] / helm / interface / latinize.pl
diff --git a/helm/interface/latinize.pl b/helm/interface/latinize.pl
new file mode 100755 (executable)
index 0000000..7fa6787
--- /dev/null
@@ -0,0 +1,10 @@
+#!/usr/bin/perl
+
+while(<STDIN>)
+{
+  s/&#8594;/->/g;
+  s/&#8658;/=>/g;
+  s/&#955;/\\/g;
+  s/&#928;/||/g;
+  print;
+}