From 10f621045a53c3a2b75195f355e362537ac6f08b Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 6 Sep 2007 11:34:53 +0000 Subject: ExtFoods for book --- examples/tutorial/resource-foods/ExtFoodsEng.gf | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 examples/tutorial/resource-foods/ExtFoodsEng.gf (limited to 'examples/tutorial/resource-foods/ExtFoodsEng.gf') diff --git a/examples/tutorial/resource-foods/ExtFoodsEng.gf b/examples/tutorial/resource-foods/ExtFoodsEng.gf new file mode 100644 index 000000000..70ba26b74 --- /dev/null +++ b/examples/tutorial/resource-foods/ExtFoodsEng.gf @@ -0,0 +1,5 @@ +--# -path=.:../foods:present:prelude + +concrete ExtFoodsEng of ExtFoods = FoodsEni ** ExtFoodsI with + (Syntax = SyntaxEng), + (LexFoods = LexFoodsEng) ; -- cgit v1.2.3