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/ExtFoodsFin.gf | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 examples/tutorial/resource-foods/ExtFoodsFin.gf (limited to 'examples/tutorial/resource-foods/ExtFoodsFin.gf') diff --git a/examples/tutorial/resource-foods/ExtFoodsFin.gf b/examples/tutorial/resource-foods/ExtFoodsFin.gf new file mode 100644 index 000000000..9cf90dfa0 --- /dev/null +++ b/examples/tutorial/resource-foods/ExtFoodsFin.gf @@ -0,0 +1,5 @@ +--# -path=.:../foods:present:prelude + +concrete ExtFoodsFin of ExtFoods = FoodsFin ** ExtFoodsI with + (Syntax = SyntaxFin), + (LexFoods = LexFoodsFin) ; -- cgit v1.2.3