From a1e2767dbe912467ecb1dfe7d33bf173244b99b7 Mon Sep 17 00:00:00 2001 From: bringert Date: Thu, 20 Apr 2006 17:55:46 +0000 Subject: Reorganized the peacekeeping grammar. --- examples/peacekeeping/english/PeaceSyntax_Eng.gf | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 examples/peacekeeping/english/PeaceSyntax_Eng.gf (limited to 'examples/peacekeeping/english/PeaceSyntax_Eng.gf') diff --git a/examples/peacekeeping/english/PeaceSyntax_Eng.gf b/examples/peacekeeping/english/PeaceSyntax_Eng.gf new file mode 100644 index 000000000..674e1e123 --- /dev/null +++ b/examples/peacekeeping/english/PeaceSyntax_Eng.gf @@ -0,0 +1,5 @@ +--# -path=.:present:prelude + +concrete PeaceSyntax_Eng of PeaceSyntax = PeaceCat_Eng ** PeaceSyntaxI with + (Lang = LangEng) ; + -- cgit v1.2.3