Reorganized the peacekeeping grammar.
This commit is contained in:
1 parent
f9cdc3c732
commit
a1e2767dbe
14 files changed
+110
-62
No files matched your search
@@ -0,0 +1,5 @@
|
||||
--# -path=.:present:prelude
|
||||
|
||||
concrete PeaceLexCommon_Eng of PeaceLexCommon =
|
||||
PeaceCat_Eng ** PeaceLexCommonI with (Lang = LangEng) ;
|
||||
|
||||
Reference in new issue
Block a user