Liza's patch to Jap

This commit is contained in:
aarne
2012-05-29 07:18:16 +00:00
parent fa4fcdab35
commit b2206f09d8
22 changed files with 1636 additions and 1394 deletions

View File

@@ -1,6 +1,6 @@
--# -path=.:../abstract:../common:../prelude
concrete AllJap of AllJapAbs =
LangJap
-- ExtraJap
** {} ;
--# -path=.:../abstract:../common:../prelude
concrete AllJap of AllJapAbs =
LangJap,
ExtraJap
** {} ;