From 1aff0ee08a2ff7e752e2fec4c915852e8b6438f6 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 5 Jul 2007 20:52:56 +0000 Subject: resource-food example in tutorial --- doc/tutorial/resource-food/FoodFin.gf | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 doc/tutorial/resource-food/FoodFin.gf (limited to 'doc/tutorial/resource-food/FoodFin.gf') diff --git a/doc/tutorial/resource-food/FoodFin.gf b/doc/tutorial/resource-food/FoodFin.gf new file mode 100644 index 000000000..200d39b75 --- /dev/null +++ b/doc/tutorial/resource-food/FoodFin.gf @@ -0,0 +1,5 @@ +--# -path=.:present:prelude + +concrete FoodFin of Food = FoodI with + (Syntax = SyntaxFin), + (LexFood = LexFoodFin) ; -- cgit v1.2.3