uniform encoding: gfo and pgf in UTF8, internal in unicode

2008-06-26 16:35:45 +00:00
parent 712717e461
commit 7f9a0cdd34
41 changed files with 159 additions and 73 deletions
@@ -3,4 +3,4 @@
 concrete Russian of RussianAbs = 
  LangRus,
  ExtraRus
-  ** {} ;
+  ** {flags coding=utf8 ;} ;