completed book examples

2010-11-22 15:48:52 +00:00
parent 46137ab6a6
commit b8f81b1a20
11 changed files with 110 additions and 9 deletions
--- a/book/examples/chapter8/GeometryEng.gf
+++ b/book/examples/chapter8/GeometryEng.gf
@@ -1,4 +1,4 @@
--# -path=alltenses
+--# -path=.:present

 concrete GeometryEng of Geometry = LogicEng ** 
  open SyntaxEng, ParadigmsEng in {