ExtFoods for book

2026-06-27 20:06:28 -06:00 · 2007-09-06 11:34:53 +00:00
parent 238764e1be
commit 10f621045a
12 changed files with 148 additions and 5 deletions
@@ -0,0 +1,5 @@
+--# -path=.:../foods:present:prelude
+
+concrete ExtFoodsFin of ExtFoods = FoodsFin ** ExtFoodsI with 
+    (Syntax = SyntaxFin),
+    (LexFoods = LexFoodsFin) ;