(Bul) Change encodings from CP1251 to UTF8 (#343)

2020-06-17 09:17:56 +02:00
parent 71782b8e04
commit e199fbbb0c
24 changed files with 1911 additions and 1909 deletions
@@ -1,7 +1,7 @@
--# -coding=cp1251
+--# -coding=utf8
 concrete ConjunctionBul of Conjunction = 
  CatBul ** open ResBul, Coordination, Prelude, Predef in {
-  flags coding=cp1251 ;
+  flags coding=utf8 ;


  flags optimize=all_subs ;