# HG changeset patch
# User oheimb
# Date 982145919 -3600
# Node ID a0c3f2082c88b51a1c4174d4be849ac50d0de3ff
# Parent  8ab6c909350853f43ab1dc8feef56ae6d2573653
added support for AddXIs, AddXEs, AddXDs

diff -r 8ab6c9093508 -r a0c3f2082c88 lib/scripts/convert.pl
--- a/lib/scripts/convert.pl	Wed Feb 14 01:36:36 2001 +0100
+++ b/lib/scripts/convert.pl	Wed Feb 14 11:18:39 2001 +0100
@@ -267,10 +267,13 @@
   s/^Delsplits\s*\[?\s*([\w\'\. ,]*)\s*\]?/decl($1,"split del")/seg;
   s/^AddIs\s*\[?\s*([\w\'\. ,]*)\s*\]?/decl($1,"intro")/seg;
   s/^AddSIs\s*\[?\s*([\w\'\. ,]*)\s*\]?/decl($1,"intro!")/seg;
+  s/^AddXIs\s*\[?\s*([\w\'\. ,]*)\s*\]?/decl($1,"intro?")/seg;
   s/^AddEs\s*\[?\s*([\w\'\. ,]*)\s*\]?/decl($1,"elim")/seg;
   s/^AddSEs\s*\[?\s*([\w\'\. ,]*)\s*\]?/decl($1,"elim!")/seg;
+  s/^AddXEs\s*\[?\s*([\w\'\. ,]*)\s*\]?/decl($1,"elim?")/seg;
   s/^AddDs\s*\[?\s*([\w\'\. ,]*)\s*\]?/decl($1,"dest")/seg;
   s/^AddSDs\s*\[?\s*([\w\'\. ,]*)\s*\]?/decl($1,"dest!")/seg;
+  s/^AddXDs\s*\[?\s*([\w\'\. ,]*)\s*\]?/decl($1,"dest?")/seg;
   s/^AddIffs\s*\[?\s*([\w\'\. ,]*)\s*\]?</decl($1,"iff")/seg;
   print "$_$tail";
   if(eof()) { last; } # prevents reading finally from stdin (thru <>)!