Convert many RGL modules from Latin-1 to UTF-8 to speed up compilation

Also add flags coding=utf8 to silence warnings.
2026-07-03 04:28:33 -06:00 · 2014-08-19 19:42:05 +00:00
parent c1690ecc4d
commit 4c38803eea
135 changed files with 2828 additions and 2810 deletions
@@ -8,6 +8,7 @@ concrete TerminologyGer of Terminology = CatGer ** open
  (L = LexiconGer),
  Prelude
 in {
+flags coding=utf8 ;


 lincat