bug fix in Shell commands at, wt

2005-12-06 11:46:35 +00:00
parent 7a7252223f
commit 09659e86eb
7 changed files with 31 additions and 18 deletions
--- a/lib/resource-1.0/english/BasicEng.gf
+++ b/lib/resource-1.0/english/BasicEng.gf
@@ -222,9 +222,4 @@ lin
  stop_V = regDuplV "stop" ;
  jump_V = regV "jump" ;

-  here7to_Adv = mkAdv ["to here"] ;
-  here7from_Adv = mkAdv ["from here"] ;
-  there_Adv = mkAdv "there" ;
-  there7to_Adv = mkAdv "there" ;
-  there7from_Adv = mkAdv ["from there"] ;
 } ;