Pinyin files using diacritics instead of numbers

This commit is contained in:
aarne committed 2015-07-19 09:11:45 +00:00
1 parent 101f829447
commit 05be967ec4
9 files changed
+687 -6111

No files matched your search

+1 -1
View File
@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../common:../prelude
concrete SymbolChi of Symbol = CatChi ** open Prelude, ResChi in {