moved interruption to GFI level to capture all commands

This commit is contained in:
aarne
2008-06-26 21:01:51 +00:00
parent 9d909f32cf
commit 4a9bc587a5
8 changed files with 15 additions and 6 deletions

View File

@@ -9,7 +9,7 @@
--
resource ResAra = PatternsAra ** open Prelude, Predef in {
flags optimize=noexpand ;
flags optimize=noexpand ; coding=utf8 ;
param