Pinyin files using diacritics instead of numbers

2015-07-19 09:11:45 +00:00
parent a68fae0f84
commit 2c61609344
9 changed files with 687 additions and 6111 deletions
--- a/lib/src/chinese/pinyin/SymbolChi.gf
+++ b/lib/src/chinese/pinyin/SymbolChi.gf
@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
+--# -path=.:../abstract:../common:../prelude

 concrete SymbolChi of Symbol = CatChi ** open Prelude, ResChi in {