moved interruption to GFI level to capture all commands

2008-06-26 21:01:51 +00:00
parent 6e84a377ac
commit c0fa3cea36
6 changed files with 7 additions and 5 deletions
--- a/resource/arabic/ResAra.gf
+++ b/resource/arabic/ResAra.gf
@@ -9,7 +9,7 @@
 --
 resource ResAra = PatternsAra ** open  Prelude, Predef   in {

-  flags optimize=noexpand ;
+  flags optimize=noexpand ; coding=utf8 ;


  param