utf8 flags in Arabic modules

2026-06-28 20:36:29 -06:00 · 2009-12-08 13:11:16 +00:00
parent 1afa6540d2
commit 9537ef0c5b
3 changed files with 4 additions and 3 deletions
@@ -1,7 +1,7 @@
 concrete NumeralAra of Numeral = CatAra ** 
  open Predef, Prelude, ResAra, MorphoAra in {

-
+flags coding=utf8 ;

 lincat